This artifact contains adapter classes for treating the Automaton objects from the
BRICS library (http://www.brics.dk/automaton) as AutomataLib models.
| License | Apache 2.0 |
|---|---|
| Tags | automata |
| Date | Nov 06, 2023 |
| Files | pom (2 KB) jar (9 KB) View All |
| Repositories | CentralCloudera |
| Ranking | #141726 in MvnRepository (See Top Artifacts) |
| Used By | 3 artifacts |
Compile Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
BSD |  | dk.brics » automaton (optional) | 1.12-4 | ✔ |
Apache 2.0 | | net.automatalib » automata-api | 0.11.0 | ✔ |
| Defect Detection MIT |  | org.checkerframework » checker-qual | 3.7.0 | 3.48.4 |
Test Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | | net.automatalib » automata-core | 0.11.0 | ✔ |
Apache 2.0 | | net.automatalib » automata-util | 0.11.0 | ✔ |
| Testing Apache 2.0 |  | org.testng » testng | 7.5.1 | 7.10.2 |
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 University, Chair of Programming Systems |
| Malte Isberner | malte.isberner<at>gmail.com | misberner | Developer (inactive), Maintainer (inactive) | TU Dortmund University, Chair of Programming Systems |