基于SPIN的系统建模研究

• 作者: 徐小丽
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 模型检测 建模 SPIN Promela
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 应用与开发
• 页码范围: 209-214
• 页数: 6页
• 分类号: TP311.53
• 字数: 4486字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2012.09.054

摘要

模型检测由于其自动化程度高,是形式化验证领域最受欢迎的验证方式之一.要使用模型检测器,首先要对要验证的系统进行建模.本文阐述模型检测技术的基本原理,并采用SPIN模型检测器对Promela建模进行研究.最后给出一个简单的公交车运行模型,并对实验结果进行分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐小丽	北京航空航天大学计算机学院	1	2	1.0	1.0