nimble-code / Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
368Updated last month

Related projects

Alternatives and complementary repositories for Spin