2 papers
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…
cs.DS2008
Pancake Flipping with Two Spatulas
Masud Hasan, Atif Rahman, M. Sohel Rahman +2
In this paper we study several variations of the \emph{pancake flipping problem}, which is also well known as the problem of \emph{sorting by prefix reversals}. We consider the var…