Formal Verification and Testing Based on P Systems.

Marian Gheorghe Florentin Ipate Ciprian Dragomir

Published in: Workshop on Membrane Computing (2009)

Keyphrases

formal verification
automated verification
model checking
management system
computer systems
symbolic model checking
information systems
artificial intelligence
expert systems
intelligent systems
test cases
retrieval systems
model checker