Ponencia
Modeling, Verification and Testing of P Systems Using Rodin and ProB
Autor/es | Ipate, Florentin
Turcanu, Adrian |
Fecha de publicación | 2011 |
Fecha de depósito | 2016-04-05 |
Publicado en |
|
ISBN/ISSN | 9788461518371 |
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 ... 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 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
14IpateTurcanu.pdf | 367.1Kb | [PDF] | Ver/ | |