aports/testing/spin, branch 3.6-stable

aports/testing/spin, branch 3.6-stable Main aports tree testing/spin: new aport 2016-09-21T18:54:45+00:00 Daniel Sabogal dsabogalcc@gmail.com 2016-09-19T01:24:48+00:00 29f65ce38db868181e9ded55b472ef5d2c226976 http://spinroot.com/ Tool for formal verification of distributed software systems

http://spinroot.com/
Tool for formal verification of distributed software systems