<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Raluca Lefticaru</style></author><author><style face="normal" font="default" size="100%">Florentin Ipate</style></author><author><style face="normal" font="default" size="100%">Luis Valencia-Cabrera</style></author><author><style face="normal" font="default" size="100%">Adrian Turcanu</style></author><author><style face="normal" font="default" size="100%">Cristina Tudose</style></author><author><style face="normal" font="default" size="100%">Marian Gheorghe</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Ionut M. Niculescu</style></author><author><style face="normal" font="default" size="100%">Ciprian Dragomir</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards an Integrated Approach for Model Simulation, Property Extraction and Verification of P Systems</style></title><secondary-title><style face="normal" font="default" size="100%">Tenth Brainstorming Week on Membrane Computing</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Proceedings of the Tenth Brainstorming Week on Membrane Computing</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year><pub-dates><date><style  face="normal" font="default" size="100%">02/2012</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.gcn.us.es/10BWMC/10BWMCvolI/papers/paper_pit_sev_sheff.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Fénix Editora</style></publisher><pub-location><style face="normal" font="default" size="100%">Seville, Spain</style></pub-location><volume><style face="normal" font="default" size="100%">I</style></volume><pages><style face="normal" font="default" size="100%">291-318</style></pages><abstract><style face="normal" font="default" size="100%">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.</style></abstract></record></records></xml>