1. FORMAL VERIFICATION OF P SYSTEMS USING SPIN.
- Author
-
IPATE, FLORENTIN, LEFTICARU, RALUCA, TUDOSE, CRISTINA, and Pérez-Jiménez, Mario J.
- Subjects
VERIFICATION of computer systems ,PROGRAMMING languages ,ARTIFICIAL languages ,COMPUTER simulation ,COMPUTER logic ,COMPUTER science ,COMPARATIVE studies - Abstract
This paper presents an approach to P system verification using the Spin model checker. It proposes a P system implementation in PROMELA, the modeling language accepted by SPIN. It also provides the theoretical background for transforming the temporal logic properties expressed for the P system into properties of the executable implementation. Furthermore, a comparison between P systems verification using SPIN and NUSMV is realized. The results obtained show that the PROMELA implementation is more adequate, especially for verifying more complex models, such as P systems that model ecosystems. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF