Abstract
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. © 2010 Springer-Verlag.
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Cite
CITATION STYLE
Gheorghe, M., Ipate, F., Lefticaru, R., & Dragomir, C. (2010). An integrated approach to P systems formal verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6501 LNCS, pp. 226–239). Springer Verlag. https://doi.org/10.1007/978-3-642-18123-8_18
Readers' Seniority
Readers' Discipline
