10.3969/j.issn.1009-3044.2008.13.045
一种基于状态机的形式化验证技术
状态机作为一种描述实体问交互或者单个实体行为的建模图,它具有丰富的直观图形化的符号.在许多模型的设计阶段都采用它来建模.但是因为缺乏精确完整的语义定义,给它的形式化验证带来困难.本文给出一种形式化操作语义.并概述基于形式化规则的验证技术.
状态机、操作语义、建模、验证技术
2
TP331(计算技术、计算机技术)
2008-07-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
720-722