The core artifact of AutomataLib. This library contains concrete implementations for many
of the automaton model interfaces defined in the API artifact, as well as abstract
base classes that facilitate implementing new automaton model classes. Note that
concrete algorithms (traversal, reachability analysis etc.) are part of the automata-util artifact.
| License | Apache 2.0 |
|---|---|
| Tags | automata |
| Date | Feb 07, 2018 |
| Files | pom (2 KB) jar (118 KB) View All |
| Repositories | CentralEEA SKJCenter |
| Ranking | #7953 in MvnRepository (See Top Artifacts) |
| Used By | 65 artifacts |
| Vulnerabilities | Vulnerabilities from dependencies: CVE-2023-2976 CVE-2020-8908 CVE-2018-10237 |
Compile Dependencies (7)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| Defect Detection LGPL 2.1 |  | com.google.code.findbugs » jsr305 | 3.0.2 | 4.9.8 |
| Core Utils Apache 2.0 |  | com.google.guava » guava3 vulnerabilities | 22.0 | 33.5.0-jre |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.7.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-api | 0.7.0 | 0.12.1 |
MIT |  | org.kohsuke.metainf-services » metainf-services | 1.7 | 1.11 |
| Logging MIT |  | org.slf4j » slf4j-api | 1.7.25 | 2.0.17 |
| Testing Apache 2.0 |  | org.testng » testng | 6.11 | 7.11.0 |
Licenses
| License | URL |
|---|---|
| Apache License, Version 2.0 | http://www.apache.org/licenses/LICENSE-2.0.txt |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Markus Frohme | markus.frohme<at>udo.edu | mtf90 | Developer, Maintainer | TU Dortmund, Chair for Programming Systems |
| Malte Isberner | malte.isberner<at>gmail.com | misberner | Developer (inactive), Maintainer (inactive) |