Compositional Reachability Analysis Using Process Algebra (1991)
| Venue: | IN PROCEEDINGS OF THE SYMPOSIUM ON TESTING, ANALYSIS, AND VERIFICATION (TAV4 |
| Citations: | 57 - 3 self |
BibTeX
@INPROCEEDINGS{Yeh91compositionalreachability,
author = {Wei Jen Yeh and Michal Young},
title = {Compositional Reachability Analysis Using Process Algebra},
booktitle = {IN PROCEEDINGS OF THE SYMPOSIUM ON TESTING, ANALYSIS, AND VERIFICATION (TAV4},
year = {1991},
pages = {49--59},
publisher = {Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
State explosion is the primary obstacle to practical application of reachability analysis techniques for concurrent systems. State explosion can be substantially controlled by using process algebra to achieve compositional (divide-and-conquer) analysis. A prototype tool incorporating process algebra is described. The promise and problems of the approach are illustrated by applying the tool to an example that incorporates the alternating bit protocol as a module.
