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 18, 2019 |
| Files | pom (2 KB) jar (136 KB) View All |
| Repositories | CentralEEA SK |
| Ranking | #7953 in MvnRepository (See Top Artifacts) |
| Used By | 65 artifacts |
| Vulnerabilities | Vulnerabilities from dependencies: CVE-2023-2976 CVE-2022-4065 CVE-2020-8908 |
Compile Dependencies (8)
| 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 » guava2 vulnerabilities | 27.0-jre | 33.5.0-jre |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.8.0 | 0.12.1 |
| Collections Apache 2.0 | | net.automatalib » automata-commons-smartcollections | 0.8.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-api | 0.8.0 | 0.12.1 |
MIT |  | org.kohsuke.metainf-services » metainf-services | 1.8 | 1.11 |
| Logging MIT |  | org.slf4j » slf4j-api | 1.7.25 | 2.0.17 |
| Testing Apache 2.0 |  | org.testng » testng1 vulnerability | 6.14.3 | 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) |