Formal Verification of P Systems Using Spin.

Florentin Ipate Raluca Lefticaru Cristina Tudose

Published in: Int. J. Found. Comput. Sci. (2011)

Keyphrases

formal verification
model checking
automated verification
expert systems
distributed systems
complex systems
management system
intelligent systems
symbolic model checking
database systems
computer systems
building blocks
learning systems