Login / Signup
Termination Criteria for Bounded Model Checking: Extensions and Comparison.
Mohammad Awedh
Fabio Somenzi
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
bounded model checking
formal verification
model checking
temporal logic
linear temporal logic
general purpose
multi criteria
data sets
web services
efficient implementation
evaluation criteria