dc.creator | Lefticaru, Raluca | |
dc.creator | Ipate, Florentin | |
dc.creator | Valencia Cabrera, Luis | |
dc.creator | Turcanu, Adrian | |
dc.creator | Tudose, Cristina | |
dc.creator | Gheorgue, Marian | |
dc.creator | Pérez Jiménez, Mario de Jesús | |
dc.creator | Niculescu, Ionut Mihai | |
dc.creator | Dragomir, Ciprian | |
dc.date.accessioned | 2016-02-04T08:35:04Z | |
dc.date.available | 2016-02-04T08:35:04Z | |
dc.date.issued | 2012 | |
dc.identifier.isbn | 978-84-940056-5-7 | es |
dc.identifier.uri | http://hdl.handle.net/11441/34039 | |
dc.description.abstract | This paper presents an integrated approach for model simulation, property
extraction and formal veri cation of P systems, illustrated on a tissue P system with
active membranes solving the 3-colouring problem. The paper focuses on this problem
and reports the invariants and the properties extracted and veri ed using a series of tools
(Daikon, MeCoSim, Maple, Spin, ProB) and languages (P{Lingua, Promela, Event-B).
Appropriate tools and integration plugins, which facilitate and even automate the steps
involved in the aforementioned approach, have also been developed. The case study chosen
is complex (it involves an exponential growth of the number of states through the use of
membrane division rules) and the properties obtained are non-trivial. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2009–13192 | |
dc.description.sponsorship | Junta de Andalucía P08–TIC–04200 | |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Tenth Brainstorming Week on Membrane Computing, 291-318. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2012, | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | 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 | |
dc.relation.projectID | P08–TIC–04200 | |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/34039 | |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Junta de Andalucía | |