Formal Verification of Safety Properties Using Interpolation and k-induction. - Tephilla Prince; Atif Abdur Rahman; Sheerazuddin Syed (CoRR, 2022)