Presentation
Modeling, Verification and Testing of P Systems Using Rodin and ProB
Author/s | Ipate, Florentin
Turcanu, Adrian |
Publication Date | 2011 |
Deposit Date | 2016-04-05 |
Published in |
|
ISBN/ISSN | 9788461518371 |
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 ... 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 |
Files | Size | Format | View | Description |
---|---|---|---|---|
14IpateTurcanu.pdf | 367.1Kb | [PDF] | View/ | |