Introduction
Communicating Finite State Machine Model (CFSM)
Global States
Logical Errors
System Architecture
User Interface Menu Hierarchy
The Analyzers
Automatic Protocol Synthesizer (APS)
Empirical Study Tools
Related Documents

Edited: May 1997
Designer: Tuong M. Nguyen