GitHub

nimble-code/Spin

 136 forks
 415 stars

Description

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

Project metadata as of .

Related Packages

2

A related package is a package that declares this repository in its metadata. The list of packages is ordered by package names alphabetically.

SystemPackage
Gogithub.com/nimble-code/Spin
Gogithub.com/nimble-code/spin
Show 10 per page