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

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

Opened Access Modeling, Verification and Testing of P Systems Using Rodin and ProB
Estadísticas
Icon
Exportar a
Autor: Ipate, Florentin
Turcanu, Adrian
Fecha: 2011
Publicado en: 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
Tipo de documento: Ponencia
Resumen: 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
Tamaño: 367.1Kb
Formato: PDF

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

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones