Streaming State Space: A Method of Distributed Model Verification

Authors:
Viliam Holub;Petr Tuma
Affiliations:
Charles University in Prague, Czech Republic;Charles University in Prague, Czech Republic
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 3

Search-based many-to-one component substitution

Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
Dynamic State Space Partitioning for External Memory Model Checking

FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Dynamic state space partitioning for external memory state space exploration

Science of Computer Programming

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 ...