Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
rubygems.org "model-checking" keyword
state_machine_checker 0.1.1
Verify properties of your state machines.2 versions - Latest release: almost 5 years ago - 1 dependent repositories - 4.13 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords