Promela行为模型的自动抽象

• 作者: 戎璐 支小莉 陆鑫达
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 抽象算法 行为分析 Promela
• 年，卷（期）: 2004,（16）
• 所属期刊栏目: 博士论文
• 页码范围: 7-8,44
• 页数: 3页
• 分类号: TP311.5
• 字数: 2934字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.16.003

摘要

提出并实现了一个自动抽象算法,可从详细系统的Promela行为模型中导出抽象系统的行为模型.抽象模型与原模型迹等价,且具有状态变量最少、状态空间最小的特点.它可代替详细模型用作环境模型或参与全局性质检查,减小模型检查的状态空间以提高验证效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆鑫达	上海交通大学电信学院	60	406	9.0	18.0
2	戎璐	上海交通大学电信学院	9	54	4.0	7.0
3	支小莉	上海大学计算机学院	15	53	4.0	6.0