Formal Verification of Safety Properties Using Interpolation and k-induction

Tephilla Prince, Atif Abdur Rahman, Sheerazuddin Syed

This technical report presents implementation of two symbolic model checking algorithms that use SAT/SMT Solvers, namely interpolation based model checking and k-induction based mo…