nimble-code / Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
366Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for Spin