An Integrated Approach to P Systems Formal Verification
An Integrated Approach to P Systems Formal Verification
复制标题
P Systems 形式验证的集成方法
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
C. Dragomir
中科院分区：
文献类型：
--
作者：
M. Gheorghe;F. Ipate;R. Lefticaru;C. Dragomir
本文提出了一种方法来正式验证P系统规范，首先确定不变量，然后检查它们，使用NuSMV模型检查器，对Kripke结构表示。该方法适用于一个基本类的P系统的转换和通信规则，使用最大并行或异步重写策略和一个特殊的变种的P系统的电荷，但没有活性膜。
This paper presents a method to formally verify P system specifications by first identifying invariants and then checking them, using the NuSMV model checker, against a Kripke structure representation. The method is applied to a basic class of P systems with transformation and communication rules using either maximal parallelism or asynchronous rewriting strategy and for a special variant of P systems with electrical charges, but without active membranes.