C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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