An abstract counterexample analysis framework

LicenseApache 2.0
DateOct 12, 2020
Filespom (1 KB)  jar (14 KB)  View All
RepositoriesCentralXillio
Ranking#72849 in MvnRepository (See Top Artifacts)
Used By6 artifacts
VulnerabilitiesVulnerabilities from dependencies:
CVE-2022-4065


Compile Dependencies (2)

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
Testing
Apache 2.0
org.testng » testng1 vulnerability 7.1.07.10.2

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)