Spin
by earl, 6807 days ago
Open-source model checking tool commonly used for formal verification of distributed systems.- http://spinroot.com/
search
108 active users
- unknown (108)
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
