Download modelcheck JAR file with all dependencies

modelcheck from group net.bretti.modelcheck (version 1.0.0)

modelcheck is a Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.

Group: net.bretti.modelcheck Artifact: modelcheck
Show documentation Show source

0 downloads

Artifact modelcheck
Group net.bretti.modelcheck
Version 1.0.0
Last update 20. September 2019
Organization not specified
URL https://github.com/jbretsch/modelcheck
License MIT License
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive dependencies!

Page 1 from 1 (items total 1)