Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States.

Mohammad Awedh Fabio Somenzi

Published in: FMCAD (2004)

Keyphrases

bounded model checking
lower bound
initial state
upper bound
model checking
formal verification
temporal logic
branch and bound
lower and upper bounds
objective function
branch and bound algorithm
linear temporal logic
general purpose
upper and lower bounds
worst case
np hard
multi agent systems