This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed),
Mealy machines, and Moore machines from a finite, incrementally growing set of example inputs/outputs.
| License | Apache 2.0 |
|---|---|
| Tags | automataincremental |
| Date | May 11, 2018 |
| Files | pom (2 KB) jar (83 KB) View All |
| Repositories | CentralEndeavourHealth |
| Ranking | #91182 in MvnRepository (See Top Artifacts) |
| Used By | 5 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.1 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-api | 0.7.1 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-core | 0.7.1 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-util | 0.7.1 | 0.12.1 |
| 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) |