Home » net.automatalib » automata-core » 0.11.0

AutomataLib :: Core » 0.11.0

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.

LicenseApache 2.0
Tagsautomata
DateNov 06, 2023
Filespom (3 KB)  jar (159 KB)  View All
RepositoriesCentralEEA SKNutz
Ranking#7953 in MvnRepository (See Top Artifacts)
Used By65 artifacts
VulnerabilitiesVulnerabilities from dependencies:
CVE-2024-47072

Note: There is a new version for this artifact

New Version0.12.1

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Compile Dependencies (9)

Category/License Group / ArtifactVersionUpdates
Core Utils
Apache 2.0		com.google.guava » guava 32.1.3-jre33.5.0-jre

Apache 2.0		net.automatalib » automata-api 0.11.00.12.1
Collections
Apache 2.0		net.automatalib » automata-commons-smartcollections 0.11.00.12.1

Apache 2.0		net.automatalib » automata-commons-util 0.11.00.12.1
Defect Detection
MIT		org.checkerframework » checker-qual 3.7.03.52.0

MIT		org.kohsuke.metainf-services » metainf-services 1.81.11
Mocking
MIT		org.mockito » mockito-core 4.11.05.20.0
Logging
MIT		org.slf4j » slf4j-api 2.0.92.0.17
Testing
Apache 2.0		org.testng » testng 7.5.17.11.0

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
XML Processing
BSD 3-clause		com.thoughtworks.xstream » xstream1 vulnerability 1.4.201.4.21

Licenses

LicenseURL
Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund University, Chair of Programming Systems
Malte Isbernermalte.isberner<at>gmail.commisbernerDeveloper (inactive), Maintainer (inactive)TU Dortmund University, Chair of Programming Systems