Distributed On-the-Fly Model Checking and Test Case Generation

Abstract

The explicit-state analysis of concurrent systems must handle large state spaces, which correspond to realistic systems containing many parallel processes and complex data structures. In this report, we combine the on-the-fly approach (incremental construction of the state space) and the distributed approach (state space exploration using several machines… (More)
DOI: 10.1007/11691617_8

Topics

8 Figures and Tables

Cite this paper

@inproceedings{Joubert2006DistributedOM, title={Distributed On-the-Fly Model Checking and Test Case Generation}, author={Christophe Joubert and Radu Mateescu}, booktitle={SPIN}, year={2006} }