Formal verification of P systems with active membranes through model checking

Wed, 01/18/2012 - 12:21 — manu

Title	Formal verification of P systems with active membranes through model checking
Publication Type	Journal Papers
Year of Publication	2012
Authors	Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C.
Journal Title	Lecture Notes in Computer Science
Publisher	Springer
Place Published	Amsterdam, The Netherlands
Volume	7184
Pages	215-225
Abstract	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.
URL	http://www.springerlink.com/content/86113w5748425306/
ISSN Number	0302-9743
DOI	10.1007/978-3-642-28024-5_15

Research Group on Natural Computing