-
题名SPS系统的一种精确语义描述
- 1
-
-
作者
戎玫
-
机构
暨南大学深圳旅游学院
-
出处
《计算机科学》
CSCD
北大核心
2008年第10期284-287,共4页
-
基金
重庆市自然科学基金(2006BB2259)
江苏省高校自然科学基金(08KJB520010)
-
文摘
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述。
-
关键词
规约模式系统
程序性质
形式化方法
spin
-
Keywords
sps, program properties,formal method,spin
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
X823
[环境科学与工程—环境工程]
-
