Formal Verification of P Systems with Active Membranes through Model Checking

Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina

doi:10.1007/978-3-642-28024-5_15

Ponencia

dc.creator	Ipate, Florentin	es
dc.creator	Lefticaru, Raluca	es
dc.creator	Pérez Hurtado de Mendoza, Ignacio	es
dc.creator	Pérez Jiménez, Mario de Jesús	es
dc.creator	Tudose, Cristina	es
dc.date.accessioned	2018-10-23T09:28:49Z
dc.date.available	2018-10-23T09:28:49Z
dc.date.issued	2011
dc.identifier.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.
dc.identifier.isbn	978-3-642-28023-8	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	https://hdl.handle.net/11441/79583
dc.description.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.	es
dc.description.sponsorship	Ministerio de Ciencia e Innovación TIN2009–13192	es
dc.description.sponsorship	Junta de Andalucía P08-TIC-04200	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	CMC 2011: 12th International Conference on Membrane Computing (2011), p 215-225
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Formal Verification of P Systems with Active Membranes through Model Checking	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.projectID	TIN2009–13192	es
dc.relation.projectID	P08-TIC-04200	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007%2F978-3-642-28024-5_15#enumeration	es
dc.identifier.doi	10.1007/978-3-642-28024-5_15	es
dc.contributor.group	Universidad de Sevilla. TIC193: Computación Natural	es
idus.format.extent	11	es
dc.publication.initialPage	215	es
dc.publication.endPage	225	es
dc.eventtitle	CMC 2011: 12th International Conference on Membrane Computing	es
dc.eventinstitution	Fontainebleau, Francia	es
dc.relation.publicationplace	Berlin	es
dc.contributor.funder	Ministerio de Ciencia e Innovación (MICIN). España
dc.contributor.funder	Junta de Andalucía

Ficheros	Tamaño	Formato	Ver	Descripción
Ipate2012_Chapter_FormalVerifi ...	151.7Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional