Model Checking Networked Programs in the Presence of Transmission Failures

Authors:
Cyrille Artho;Christian Sommer;Shinichi Honiden
Affiliations:
National Institute of Informatics, Tokyo, Japan;ETH Zürich, Zurich, Switzerland;National Institute of Informatics, Tokyo, Japan
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 2

Netstub: a framework for verification of distributed java applications

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Efficient model checking of applications with input/output

EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ...