Towards model checking interpreted systems

Towards model checking interpreted systems
复制标题

DOI：
10.1145/860575.860792
复制
发表时间：
2003-07
期刊：
--
影响因子：
--
通讯作者：
A. Lomuscio;Franco Raimondi;M. Sergot
A. Lomuscio;Franco Raimondi;M. Sergot
中科院分区：
其他
文献类型：
--
作者：
A. Lomuscio;Franco Raimondi;M. Sergot

文献摘要

被引文献

相似文献

我们展示了如何将NUSMV模型检查器与Akka配对，AKKA是一种用于检查命题模态公式的有效性的软件平台，以验证在解释的系统语义上形式上正式的多机构系统的静态属性。
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify static properties of multi-agent systems formalised on interpreted systems semantics.