Towards an Integrated Approach for Model Simulation, Property Extraction and Verification of P Systems

TitleTowards an Integrated Approach for Model Simulation, Property Extraction and Verification of P Systems
Publication TypeConference Contributions
Year of Publication2012
AuthorsLefticaru, R., Ipate F., Valencia-Cabrera L., Turcanu A., Tudose C., Gheorghe M., Pérez-Jiménez M. J., Niculescu I. M., & Dragomir C.
Conference NameTenth Brainstorming Week on Membrane Computing
Volume TitleProceedings of the Tenth Brainstorming Week on Membrane Computing
PublisherFénix Editora
Place PublishedSeville, Spain
VolumeI
Pages291-318
Date Published02/2012
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.

URLhttp://www.gcn.us.es/10BWMC/10BWMCvolI/papers/paper_pit_sev_sheff.pdf