Formal verification of P systems using model checking has attracted a significant amount of research in recent years. However, up to now only P systems with static structure have been considered. This paper makes significant advances in this area by considering P systems with active membranes, in particular P systems with division rules. The paper presents a theoretical framework for addressing this problem and reports on a complex case study involving a well-known NP-complete problem solved using P systems with membrane division rules. This is implemented in Promela and non trivial properties are verified using Spin. © 2012 Springer-Verlag.
CITATION STYLE
Ipate, F., Lefticaru, R., Pérez-Hurtado, I., Pérez-Jiménez, M. J., & Tudose, C. (2012). Formal verification of p systems with active membranes through model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7184 LNCS, pp. 215–225). https://doi.org/10.1007/978-3-642-28024-5_15
Mendeley helps you to discover research relevant for your work.