Formal Verification of Characteristic Properties.

Michel Allemand

Published in: TPCD (1994)

Keyphrases

formal verification
model checking
symbolic model checking
model checker
bounded model checking
automated verification
structural properties
artificial intelligence
real time
search engine
state space
orders of magnitude
decision problems
desirable properties