smt-workshop.cs.uiowa.edu/2009/index.html

Preview meta tags from the smt-workshop.cs.uiowa.edu website.

  • General Meta Tags

    5
    • title
      SMT 2009: 7th International Workshop on Satisfiability Modulo Theories
    • author
      Clark Barrett
    • author
      Leonardo de Moura
    • description
      SMT 2009
    • keywords
      SMT, PDPAR, decision procedure, theorem prover, SMT-LIB, SMTLIB, SMT LIB, SMT Solver, SMTCOMP, SMT-COMP, SAT solver, formal methods, constraint solver, software verification, hardware verification