Formal verification made easy.

Thomas Schlipf Thomas Buechner Rolf Fritz Markus M. Helms Juergen Koehl

Published in: IBM J. Res. Dev. (1997)

Keyphrases

formal verification
model checking
model checker
automated verification
program slicing
bounded model checking
symbolic model checking
coloured petri nets
knowledge base
expert systems
search space
software engineering
functional verification