The Evolution of Commercial Formal Verification.

Robert P. Kurshan

Published in: PDPTA (2000)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
temporal logic
temporal evolution
domain specific
software development
partial order
functional verification