10.3969/j.issn.1000-386X.2006.07.003
基于LSC的模型检验研究
LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具.首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成的状态模型进行模型检验;最后进行了实例研究,利用给出的实现工具检验了用CTL描述的验证性质.
LSC、顺序图、模型检验、CTL
23
TP3(计算技术、计算机技术)
国家自然科学基金90104007;60233020
2006-08-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
5-7,20