nimble-code/Spin

Releases3

Frequency2 months 2 weeks

Last Release over 6 years ago

Stars469

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

Collections containing this project

Showing collections based on your access.

This project is not in any collections you can view.