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