-
Notifications
You must be signed in to change notification settings - Fork 0
automatically verify Promela models
License
TCRuys/runspin
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
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
About
automatically verify Promela models
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published