Buscar
Mostrando ítems 11-12 de 12
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 ...
Ponencia
Model Checking Based Test Generation from P Systems Using P-Lingua
(Fénix Editora, 2010)
This paper presents an approach for P system testing, that uses model- checking for automatic test generation and P-Lingua as specification language. This approach is based on a transformation of the transitional, ...