Selective Search in Bounded Model Checking of Reachability Properties.

Published in: ATVA (2005)

Keyphrases

bounded model checking
search algorithm
search space
model checking
search strategy
search queries
user queries
search methods
search strategies
temporal logic
transitive closure
search efficiency
formal verification