Login / Signup

Automatic Verification for a Class of Proof Obligations with SMT-Solvers.

David Déharbe
Published in: ASM (2010)
Keyphrases
  • case study
  • learning algorithm
  • intelligent agents
  • knowledge base
  • decision trees
  • multi class classification
  • modulo theories