@article {822,
	title = {Formal verification of P systems with active membranes through model checking},
	journal = {Lecture Notes in Computer Science},
	volume = {7184},
	year = {2012},
	pages = {215-225},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	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. },
	issn = {0302-9743},
	doi = {10.1007/978-3-642-28024-5_15},
	url = {http://www.springerlink.com/content/86113w5748425306/},
	author = {Florentin Ipate and Raluca Lefticaru and Ignacio P{\'e}rez-Hurtado and Mario J. P{\'e}rez-Jim{\'e}nez and Cristina Tudose}
}
