repo1.maven.org : net.automatalib:automata-modelchecking-parent
Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/net.automatalib/automata-modelchecking-parent
Keywords:
automata
, graph
, java
, java-library
, transition-systems
License: Apache-2.0,Apache-2.0
Latest release: 5 months ago
First release: over 6 years ago
Namespace: net.automatalib
Dependent packages: 1
Dependent repositories: 3
Stars: 95 on GitHub
Forks: 32 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 8 hours ago