Brief Announcement: Verification of Stabilizing Programs with SMT Solvers
We focus on the verification of stabilizing programs using SMT solvers. SMT solvers have the potential to convert the verification problem into a satisfiability problem of a Boolean formula and utilize efficient techniques to determine whether it is satisfiable. In this work, we study the approach of utilizing techniques from bounded model checking to determine whether the given program is stabilizing.
KeywordsVerification Stabilization Model checking
Unable to display preview. Download preview PDF.