Satisfiability Modulo Theories and Its Applications in Software Model Checking


  • Introduction to Satisfiability Modulo Theories (SMT)
  1. Software model checking using SMT and tool demonstration
  2. Theory of linear arithmetic
  3. Theory of equalities and uninterpreted function
  • Using SMT for Software Model Checking
  1. Predicate Abstraction
  2. Counterexample Guided Abstraction Refinement
  3. Craig Interpolant in FOL



zh-tw/lecture/smt.txt · 上一次變更: 2011/04/29 04:48 來自 mht208