Towards Formal Verification of ToolBusScripts.

Wan J. Fokkink Paul Klint Bert Lisser Yaroslav S. Usenko

Published in: AMAST (2008)

Keyphrases

formal verification
model checking
model checker
coloured petri nets
automated verification
bounded model checking
functional verification
symbolic model checking
program slicing
multi agent
dynamic programming
theorem prover