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.

Subscribe above to receive notifications when new versions are released.

Version	Date	Stability Stability is determined by the version string and my be inaccurate.
version-6.5.2	Dec 6, 2019Friday, 6 December 2019, 21:03	Stable
version-6.5.1	Dec 3, 2019Tuesday, 3 December 2019, 20:47	Stable
version-6.5.0	Jul 2, 2019Tuesday, 2 July 2019, 01:04	Stable