/Spin

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

Primary LanguageC

Stargazers

No one’s star this repository yet.