Home » de.learnlib » learnlib-property-oracles » 0.18.0

LearnLib :: Oracles :: Property Oracles » 0.18.0

A collection of property oracles

LicenseApache 2.0
DateFeb 06, 2025
Filespom (2 KB)  jar (15 KB)  View All
RepositoriesCentral
Ranking#354236 in MvnRepository (See Top Artifacts)
Used By1 artifacts

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

Compile Dependencies (7)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib » learnlib-api 0.18.0 ✔

Apache 2.0		de.learnlib.testsupport » learnlib-learning-examples 0.18.0 ✔

Apache 2.0		de.learnlib.tooling » annotations 0.1.1 ✔

Apache 2.0		net.automatalib » automata-api 0.12.00.12.1
Defect Detection
MIT		org.checkerframework » checker-qual 3.48.33.52.0
Logging
MIT		org.slf4j » slf4j-api 2.0.162.0.17
Testing
Apache 2.0		org.testng » testng 7.10.27.11.0

Test Dependencies (6)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib » learnlib-emptiness-oracles 0.18.0 ✔

Apache 2.0		de.learnlib » learnlib-equivalence-oracles 0.18.0 ✔

Apache 2.0		de.learnlib » learnlib-membership-oracles 0.18.0 ✔

Apache 2.0		net.automatalib » automata-core 0.12.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-ltsmin 0.12.00.12.1

Apache 2.0		net.automatalib » automata-util 0.12.00.12.1

Licenses

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

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund University, Chair of Programming Systems
Falk Howarfalk.howar<at>gmail.comfhowarDeveloperTU Dortmund University, Chair of Software Engineering