10.3969/j.issn.1009-3044.2008.35.048
PROMELA语义引擎执行研究
模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式.该文从语义角度研究了PROMELA语义引擎问题.首先给出PKOMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PKOMELA语法到抽象对象模型的映射,描述了PROMELA指称语义.
模型检查、SPIN、PKOMELA、语义
4
TP315(计算技术、计算机技术)
2009-03-10(万方平台首次上网日期,不代表论文的发表时间)
共3页
2159-2160,2162