automatically verify Promela models
Switch branches/tags
Nothing to show
Clone or download
tcruys First commit.
First public release - version 0.9 (19 Apr 2014).
Latest commit a1e7974 Apr 19, 2014
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
LICENSE.txt First commit. Apr 19, 2014
README.txt First commit. Apr 19, 2014
makefile First commit. Apr 19, 2014
peterson.prom First commit. Apr 19, 2014
runspin First commit. Apr 19, 2014
runspin.1 First commit. Apr 19, 2014
runspin.html First commit. Apr 19, 2014
runspin.pdf First commit. Apr 19, 2014
sample.cfgs First commit. Apr 19, 2014

README.txt

runspin 0.9
19 April 2014

runspin is a bash script to automate the verification of Promela 
models using the model checker SPIN. 

runspin automates the complete verification of a Promela model.
Apart from verifying the Promela model, runspin adds valuable extra 
information to pan's verification report.

See runspin.html for detailed documentation.
See also SPIN: http://spinroot.com/

files:
    runspin         the bash script
    runspin.1       manual page for runspin
    runspin.pdf     generated PDF file from runspin.1
    runspin.html    generated HTML file from runspin.1
    makefile        makefile to build documentation
    peterson.prom   sample Promela file with embedded configurations
    runspin.cfgs    sample configuration file
    LICENSE.txt     Apache 2.0 license
    README.txt      this file