m

modelcheck

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.
https://github.com/jbretsch/modelcheck
MIT License
Jan Bretschneider
Files download
File Operation
modelcheck-1.0.0.jar download
modelcheck-1.0.0.pom download
modelcheck-1.0.0-sources.jar download
Apache Maven
<dependency>
  <groupId>net.bretti.modelcheck</groupId>
  <artifactId>modelcheck</artifactId>
  <version>1.0.0</version>
</dependency>
Gradle Groovy
implementation 'net.bretti.modelcheck:modelcheck:1.0.0'
Gradle Kotlin
implementation("net.bretti.modelcheck:modelcheck:1.0.0")
Scala SBT
libraryDependencies += "net.bretti.modelcheck" % "modelcheck" % "1.0.0"
Groovy Grape
@Grapes(
  @Grab(group='net.bretti.modelcheck', module='modelcheck', version='1.0.0')
)
Apache Ivy
<dependency org="net.bretti.modelcheck" name="modelcheck" rev="1.0.0" />
Leiningen
[net.bretti.modelcheck/modelcheck "1.0.0"]
Apache Buildr
'net.bretti.modelcheck:modelcheck:jar:1.0.0'