An abstract counterexample analysis framework

LicenseApache 2.0
DateFeb 06, 2020
Filespom (1 KB)  jar (14 KB)  View All
RepositoriesCentralSpring PluginsXillio
Ranking#72890 in MvnRepository (See Top Artifacts)
Used By6 artifacts
VulnerabilitiesVulnerabilities from dependencies:
CVE-2022-4065

Note: There is a new version for this artifact

New Version0.16.0


Compile Dependencies (1)

Category/License Group / ArtifactVersionUpdates
Collections
Apache 2.0
net.automatalib » automata-commons-smartcollections 0.9.00.12.0

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
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)