Calculating-Confluence Compositionally

@inproceedings{Pace2003CalculatingConfluenceC,
  title={Calculating-Confluence Compositionally},
  author={Gordon J. Pace and Fr{\'e}d{\'e}ric Lang and Radu Mateescu},
  booktitle={CAV},
  year={2003}
}
τ -confluence is a reduction technique used in enumerative model-checking of labeled transition systems to avoid the state explosion problem. In this paper, we propose a new on-the-fly algorithm to calculate partial τ -confluence, and propose new techniques to do so on large systems in a compositional manner. Using information inherent in the way a large system is composed of smaller systems, we show how we can deduce partial τ -confluence in a computationally cheap manner. Finally, these… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS