Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Bounded Model Checking for Unbounded Client Server Systems
Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
Bounded model checking (BMC) is an efficient formal verification technique which allows for desired properties of a software system to be checked on bounded runs of an abstract mod…
cs.LO2022
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…