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 <http://twitter.com/tglee>