TY  - RPRT
TI  - Formal Verification of Safety Properties Using Interpolation and k-induction
AU  - Tephilla Prince
AU  - Atif Abdur Rahman
AU  - Sheerazuddin Syed
PY  - 2022
UR  - https://arxiv.org/abs/2207.01338
ID  - 2207.01338
ER  -