-
Notifications
You must be signed in to change notification settings - Fork 14
A model checker for infinite-state systems.
License
GPL-2.0, Unknown licenses found
Licenses found
GPL-2.0
LICENSE
Unknown
COPYING
SRI-CSL/sally
ErrorLooks like something went wrong!
About
A model checker for infinite-state systems.
Topics
Resources
License
GPL-2.0, Unknown licenses found
Licenses found
GPL-2.0
LICENSE
Unknown
COPYING
Stars
Watchers
Forks
Packages 0
No packages published