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

Modeling, Verification and Testing of P Systems Using Rodin and ProB

 

Advanced Search
 
Opened Access Modeling, Verification and Testing of P Systems Using Rodin and ProB
Cites
Show item statistics
Icon
Export to
Author: Ipate, Florentin
Turcanu, Adrian
Date: 2011
Published in: Proceedings of the Ninth Brainstorming Week on Membrane Computing, 209-219. Sevilla, E.T.S. de Ingeniería Informática, 31 de enero-4 de febrero, 2011
ISBN/ISSN: 9788461518371
Document type: Presentation
Abstract: In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we then use to implement two P-system models in the Rodin platform. For each of the two models, we use the associated Pro-B model checker to verify properties and we present some of the results obtained
Size: 367.1Kb
Format: PDF

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

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

This item appears in the following Collection(s)