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

LearnLib :: Oracles :: Property Oracles » 0.15.0

A collection of property oracles

LicenseApache 2.0
DateFeb 06, 2020
Filespom (1 KB)  jar (12 KB)  View All
RepositoriesCentralSpring Plugins
Ranking#354236 in MvnRepository (See Top Artifacts)
Used By1 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 (5)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib » learnlib-annotation-processor 0.15.00.16.0

Apache 2.0		de.learnlib » learnlib-api 0.15.00.18.0

Apache 2.0		net.automatalib » automata-api 0.9.00.12.1
Defect Detection
MIT		org.checkerframework » checker-qual 3.0.13.52.0
Testing
Apache 2.0		org.testng » testng1 vulnerability 7.1.07.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)