Rare find

Spin. Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

github.com/nimble-code/Spin

Problem

Audience

Updates

No founder updates yet. Check back soon.