Efficient verification of distributed protocols using stateful model checking

Habib Saissi, Peter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

This paper presents efficient model checking of distributed software. Key to the achieved efficiency is a novel stateful model checking strategy that is based on the decomposition of states into a relevant and an auxiliary part. We formally show this strategy to be sound, complete, and terminating for general finite-state systems. As a case study, we implement the proposed strategy within Basset/MP-Basset, a model checker for message-passing Java programs. Our evaluation with actual deployed fault-tolerant message-passing protocols shows that the proposed stateful optimization is able to reduce model checking time and memory by up to 69% compared to the naive stateful search, and 39% compared to partial-order reduction.

Original languageEnglish
Title of host publicationProceedings - 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013
Pages133-142
Number of pages10
DOIs
Publication statusPublished - 1 Dec 2013
Event2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013 - Braga, Portugal
Duration: 1 Oct 20133 Oct 2013

Publication series

NameProceedings of the IEEE Symposium on Reliable Distributed Systems
ISSN (Print)1060-9857

Other

Other2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013
CountryPortugal
CityBraga
Period1/10/133/10/13

    Fingerprint

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications

Cite this

Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N., & Serafini, M. (2013). Efficient verification of distributed protocols using stateful model checking. In Proceedings - 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013 (pp. 133-142). [6656269] (Proceedings of the IEEE Symposium on Reliable Distributed Systems). https://doi.org/10.1109/SRDS.2013.22