GUI for running the SPIN model checker

Moti Ben-Ari

The GUI enables running the SPIN model checker without knowing the command-line arguments. Most options are easily accessible from menus and shortcuts. The output is formatted to facilitate understanding the results of a simulation or verification.