Towards Automated Verification of P Systems Using Spin.

Raluca Lefticaru Cristina Tudose Florentin Ipate

Published in: Int. J. Nat. Comput. Res. (2011)

Keyphrases

automated verification
model checking
automated reasoning
database
retrieval systems
formal verification
management system
complex systems
real time
data sets
databases
neural network
multimedia
data structure
learning systems