Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
Autor/es | Ipate, Florentin
Lefticaru, Raluca Pérez Hurtado de Mendoza, Ignacio Pérez Jiménez, Mario de Jesús Tudose, Cristina |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2011 |
Fecha de depósito | 2018-10-23 |
Publicado en |
|
ISBN/ISSN | 978-3-642-28023-8 0302-9743 |
Resumen | 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. |
Agencias financiadoras | Ministerio de Ciencia e Innovación (MICIN). España Junta de Andalucía |
Identificador del proyecto | TIN2009–13192
P08-TIC-04200 |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Ipate2012_Chapter_FormalVerifi ... | 151.7Kb | [PDF] | Ver/ | |