Program Verification DPLL & CDCL Algo Outline Handbook of Satisfiability SAT/SMT By Example An Axiomatic Basis for Computer Programming Hoare Logic Weakest Precondition Calculus More on Hoare Logic : Proving Programs Correct