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