×

兹马思-数学第一资源

中间语言到离散数据时间自动机的转换。(英语) Zbl公司 1158.68020
摘要:本文的目的是描述模型检验平台VerICS的输入形式之一的中间语言到离散数据时间自动机的转换,并与经典的时间自动机进行比较。本文介绍了这两种形式的语法和语义,翻译规则以及一个简单的例子。

理学硕士:
68Q45号 形式语言与自动机
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用