期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Promela行为模型的自动抽象
1
作者 支小莉 陆鑫达 戎璐 《计算机工程》 CAS CSCD 北大核心 2004年第16期7-8,44,共3页
提出并实现了一个自动抽象算法,可从详细系统的Promela行为模型中导出抽象系统的行为模型。抽象模型与原模型迹等价,且具有状态变量最少、状态空间最小的特点。它可代替详细模型用作环境模型或参与全局性质检查,减小模型检查的状态空间... 提出并实现了一个自动抽象算法,可从详细系统的Promela行为模型中导出抽象系统的行为模型。抽象模型与原模型迹等价,且具有状态变量最少、状态空间最小的特点。它可代替详细模型用作环境模型或参与全局性质检查,减小模型检查的状态空间以提高验证效率。 展开更多
关键词 抽象算法 行为分析 promcla
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部