  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 model checking. We also do a comparative analysis of
these two model checking algorithms.
