An Improved Protocol Reachability Analysis Technique (1988)
by
Gerard J. Holzmann
| Venue: | SOFTWARE, PRACTICE AND EXPERIENCE |
| Citations: | 49 - 13 self |
BibTeX
@ARTICLE{Holzmann88animproved,
author = {Gerard J. Holzmann},
title = {An Improved Protocol Reachability Analysis Technique},
journal = {SOFTWARE, PRACTICE AND EXPERIENCE},
year = {1988},
volume = {18},
pages = {137--161}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An automated analysis of all reachable states in a distributed system can be used to trace obscure logical errors that would be very hard to find manually. This type of validation is traditionally performed by the symbolic execution of a finite state machine (FSM) model of the system studied. The application
