Real-Time Model Checking Is Really Simple
Real-Time Model Checking Is Really Simple
复制标题
实时模型检查非常简单
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
L. Lamport
中科院分区：
文献类型：
--
作者：
L. Lamport
用现有的语言和方法很容易编写和验证实时规范;一种是将时间表示为普通变量，用特殊的定时器变量表示定时要求。由此产生的规范可以用普通的模型检查器进行验证。这个基本思想和一些不太明显的细节进行了解释，并给出了两个例子的结果。
It is easy to write and verify real-time specifications with existing languages and methods; one just represents time as an ordinary variable and expresses timing requirements with special timer variables. The resulting specifications can be verified with an ordinary model checker. This basic idea and some less obvious details are explained, and results are presented for two examples.