Modularization and Abstraction: The Keys to Practical Formal Verification.

Yonit Kesten Amir Pnueli

Published in: MFCS (1998)

Keyphrases

formal verification
bounded model checking
model checking
model checker
real world
automated verification
symbolic model checking
temporal logic
artificial intelligence
knowledge base
web services
open source
test set
linear temporal logic
program slicing