Download all versions of modelcheck JAR files 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.
Artifact modelcheck
Group net.bretti.modelcheck
Version 1.0.0
Last update 20. September 2019
Tags: structure check transition kripke logic whether that system tree given allows satisfies library java computation described modelcheck formula
Organization not specified
URL https://github.com/jbretsch/modelcheck
License MIT License
Dependencies amount 1
Dependencies slf4j-api,
There are maybe transitive dependencies!
Group net.bretti.modelcheck
Version 1.0.0
Last update 20. September 2019
Tags: structure check transition kripke logic whether that system tree given allows satisfies library java computation described modelcheck formula
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)