Repositorio de producción científica de la Universidad de Sevilla

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

 

Advanced Search
 
Opened Access Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
Cites
Show item statistics
Icon
Export to
Author: 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
Date: 2012
Published in: 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,
ISBN/ISSN: 978-84-940056-5-7
Document type: Presentation
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.
Size: 999.5Kb
Format: PDF

URI: http://hdl.handle.net/11441/34039

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)