Presentation
Formal Verification of P Systems with Active Membranes through Model Checking
Author/s | Ipate, Florentin
Lefticaru, Raluca Pérez Hurtado de Mendoza, Ignacio Pérez Jiménez, Mario de Jesús Tudose, Cristina |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2011 |
Deposit Date | 2018-10-23 |
Published in |
|
ISBN/ISSN | 978-3-642-28023-8 0302-9743 |
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 ... 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. |
Funding agencies | Ministerio de Ciencia e Innovación (MICIN). España Junta de Andalucía |
Project ID. | TIN2009–13192
P08-TIC-04200 |
Citation | Ipate, F., Lefticaru, R., Pérez Hurtado de Mendoza, I., Pérez Jiménez, M.d.J. y Tudose, C. (2011). Formal Verification of P Systems with Active Membranes through Model Checking. En CMC 2011: 12th International Conference on Membrane Computing (215-225), Fontainebleau, Francia: Springer. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Ipate2012_Chapter_FormalVerifi ... | 151.7Kb | [PDF] | View/ | |