O'Reilly logo

Spin Model Checker, The: Primer and Reference Manual by Gerard J. Holzmann

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 19. Overview of PAN Options

 

“The only reasonable way to get a program right is to assume that it will at first contain errors and take steps to discover these and correct them.”

 
 --(Christopher Strachey, 1916–1975)

This chapter summarizes all verification options. The options apply to the verification code that is generated with SPIN’s run-time option -a. Also included is an explanation of the information that is generated by the program at the end of a verification run (unless disabled with PAN run-time option -n).

The three main sections of this chapter cover:

  • PAN Compile-Time Options:

    Options that are available at the time of compilation of the verifier source code.

  • PAN Run-Time Options:

    Options that are available as command-line arguments ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required