Abstraction Refinement for Bounded Model Checking.

Anubhav Gupta Ofer Strichman

Published in: CAV (2005)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
refinement process
query refinement
domain specific
domain independent
formal specification
finite state
model checker
step wise
transition systems