Login / Signup

Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.

Aditi TagoreDiego ZaccaiBruce W. Weide
Published in: NASA Formal Methods (2012)
Keyphrases
  • real world
  • sufficient conditions
  • model checking
  • automatically generated
  • data sets
  • genetic algorithm
  • asynchronous circuits
  • artificial intelligence
  • search engine
  • website
  • logic programs
  • user defined