Login / Signup

Termination Criteria for Bounded Model Checking: Extensions and Comparison.

Mohammad AwedhFabio 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