Spin Model Checking

By Gerard J. Holzmann

Dr. Dobb's Journal October 1997

Figure 3: Spin reports bugs as execution sequences.

Back to Article