Spin Model Checking

By Gerard J. Holzmann

Dr. Dobb's Journal October 1997

Figure 1: Spin's main control window.

Back to Article