Bounded Model Checking Using Satisfiability Solving.

Edmund M. Clarke Armin Biere Richard Raimi Yunshan Zhu

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
satisfiability problem
general purpose
knowledge base
modal logic
propositional logic
stochastic local search