An Improved Protocol Reachability Analysis Technique

  title={An Improved Protocol Reachability Analysis Technique},
  author={Gerard J. Holzmann},
  journal={Softw., Pract. Exper.},
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 of this method to systems of a practical size, though, is complicated by time and space requirements. If a system is larger, more space is needed to store the state descriptions and more… CONTINUE READING