时间自动机模型验证的研究进展

• 作者: 周清雷 朱维军 王迤冉
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 时间自动机 模型验证 实时系统
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 基金项目论文
• 页码范围: 33-34,37
• 页数: 3页
• 分类号: TP3
• 字数: 2966字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.06.014

摘要

基于时间自动机的模型验证是一种形式化的实时并发系统时间性质验证技术,重大软件对时间行为、时序关系的高可靠性要求,不断刺激时间自动机模型验证技术的发展.介绍了时间自动机理论、模型验证算法及工具,对该领域的研究进展做了综述,指出了时间自动机模型验证存在的问题和研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	王迤冉	周口师范学院计算机科学系	82	248	8.0	12.0
3	朱维军	郑州大学信息工程学院	46	121	6.0	9.0