一种基于状态机的形式化验证技术

• 作者: 林敬恩 滕忠坚 陈圣群
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 状态机 操作语义 建模 验证技术
• 年，卷（期）: dnzsyjsxsb_2008,（5）
• 页码范围: 720-722
• 页数: 3页
• 分类号: TP331

摘要

状态机作为一种描述实体间交互或者单个实体行为的建模图，它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义，给它的形式化验证带来困难。本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	滕忠坚	福建师范大学光电科学与技术教育部重点实验室	13	62	5.0	7.0
2	林敬恩	福建师范大学光电科学与技术教育部重点实验室	5	20	1.0	4.0
3	陈圣群	福建师范大学光电科学与技术教育部重点实验室	4	33	2.0	4.0