Home » de.learnlib » learnlib-counterexamples » 0.14.0

LearnLib :: Commons :: Counterexamples » 0.14.0

A collection of algorithms for handling counterexamples in automata learning

LicenseApache 2.0
DateFeb 18, 2019
Filespom (2 KB)  jar (14 KB)  View All
RepositoriesCentralSpring Lib Release
Ranking#31011 in MvnRepository (See Top Artifacts)
Used By15 artifacts
VulnerabilitiesVulnerabilities from dependencies:
CVE-2022-4065

Note: There is a new version for this artifact

New Version0.18.0

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

Compile Dependencies (4)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib » learnlib-api 0.14.00.18.0

Apache 2.0		de.learnlib » learnlib-acex 0.14.00.16.0

Apache 2.0		net.automatalib » automata-api 0.8.00.12.1
Testing
Apache 2.0		org.testng » testng1 vulnerability 6.14.37.11.0

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, Chair for Programming Systems
Falk Howarfalk.howar<at>gmail.comfalkhowarDeveloperTU Dortmund, Chair for Software Engineering
Malte Isbernermalte.isberner<at>gmail.commisbernerDeveloper (inactive)
Stephan Windmüllerstephan.windmueller<at>tu-dortmund.destovocorDeveloper (inactive)
Maik Mertenmaikmerten<at>googlemail.commertenDeveloper (inactive)
Oliver Baueroliver.bauer<at>tu-dortmund.deoliverbauer8Developer (inactive)