Bug#814306: ITP: spin -- a software verification tool

[Tom Lee <debian@tomlee.co>]

Package: wnpp

Severity: wishlist

X-Debbugs-CC: debian-devel@lists.debian.org

I'm working on Debian packages for Gerard J. Holzmann's Spin software verification tool, which has recently become available under the BSD 3-Clause license. Holzmann's original paper "The Model Checker: SPIN" has been cited over a thousand times in academia according to ACM. Spin has also seen success in a number of commercial and government projects, including NASA's investigation of alleged unintended acceleration in the Toyota Camry MY05's control software.

Packaging WIP is available here: https://github.com/thomaslee/spin-debian

Initial indications are the packaging will be relatively simple with some minimal patches.

Further reading:

http://spinroot.com

https://en.wikipedia.org/wiki/SPIN_model_checker

https://en.wikipedia.org/wiki/Promela

http://spinroot.com/spin/success.html

--

Tom Lee / http://tomlee.co / @tglee