An abstract counterexample analysis framework

LicenseLGPL 3.0
DateJan 16, 2015
Filespom (1 KB)  jar (13 KB)  View All
RepositoriesCentralSonatypeXillio
Ranking#72906 in MvnRepository (See Top Artifacts)
Used By6 artifacts

Note: There is a new version for this artifact

New Version0.16.0


Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
Testing
Apache 2.0
org.testng » testng 6.8.87.10.2

Licenses

LicenseURL
GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 http://www.gnu.org/licenses/lgpl-3.0-standalone.html

Developers

NameEmailDev IdRolesOrganization
Falk Howarfalk.howar<at>gmail.comfalkhowar
Malte Isbernermalte.isberner<at>gmail.commisberner
Stephan Windmüllerstephan.windmueller<at>tu-dortmund.destovocor
Maik Mertenmaikmerten<at>googlemail.commerten
Oliver Baueroliver.bauer<at>tu-dortmund.deoliverbauer8