start | find | index | login or register | edit
Spin
by earl, 4918 days ago
Open-source model checking tool commonly used for formal verification of distributed systems.

- http://spinroot.com/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6835 days • c'est un vanilla site