Brief announcement: verification of stabilizing programs with SMT solvers

Authors:
Jingshu Chen;Sandeep Kulkarni
Affiliations:
Michigan State University, East Lansing;Michigan State University, East Lansing
Venue:
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Year:
2012

Citing 3
Cited 0

Self-stabilizing systems in spite of distributed control

Communications of the ACM
Symbolic Model Checking for Self-Stabilizing Algorithms

IEEE Transactions on Parallel and Distributed Systems
Effect of fairness in model checking of self-stabilizing programs

OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.