Presentation
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
Author/s | Lefticaru, Raluca
Ipate, Florentin Valencia Cabrera, Luis ![]() ![]() ![]() ![]() ![]() ![]() ![]() Turcanu, Adrian Tudose, Cristina Gheorgue, Marian Pérez Jiménez, Mario de Jesús ![]() ![]() ![]() ![]() ![]() ![]() ![]() Niculescu, Ionut Mihai Dragomir, Ciprian |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2012 |
Deposit Date | 2016-02-04 |
Published in |
|
ISBN/ISSN | 978-84-940056-5-7 |
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 ... 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. |
Funding agencies | Ministerio de Ciencia e Innovación (MICIN). España Junta de Andalucía |
Project ID. | TIN2009–13192
![]() P08–TIC–04200 ![]() |
Files | Size | Format | View | Description |
---|---|---|---|---|
paper_pit_sev_sheff.pdf | 999.5Kb | ![]() | View/ | |