GitHub
nimble-code/Spin
call_split 136 forks
star 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.
filter_list
System | Package |
---|---|
Go | github.com/nimble-code/Spin |
Go | github.com/nimble-code/spin |
Show 10 per page
arrow_drop_down