Buscar
Mostrando ítems 1-2 de 2
Ponencia
Modeling, Verification and Testing of P Systems Using Rodin and ProB
(Fénix Editora, 2011)
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 ...
Ponencia
Towards Automated Verification of P Systems Using Spin
(Fénix Editora, 2011)
This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the proposed approach has been developed and can automatically transform P system specifications from P-Lingua ...