Formal Verification of Safety Properties Using Interpolation and k-induction

07/04/2022

∙

by   Tephilla Prince, et al.

∙

0

∙

share

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.