JarCasting
JarCasting JarCasting
Last Version

modelcheck 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.

License

License
Categories

Categories

Net
GroupId

GroupId

net.bretti.modelcheck
ArtifactId

ArtifactId

modelcheck
Version

Version

1.0.0
Type

Type

jar
Description

Description

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.
Project URL

Project URL

https://github.com/jbretsch/modelcheck
Source Code Management

Source Code Management

https://github.com/jbretsch/modelcheck

Download modelcheck 1.0.0

Filename Size
modelcheck-1.0.0.pom
modelcheck-1.0.0.jar 28 KB
modelcheck-1.0.0-sources.jar 16 KB
modelcheck-1.0.0-javadoc.jar 110 KB
Browse 

<!-- https://jarcasting.com/artifacts/net.bretti.modelcheck/modelcheck/ -->
<dependency>
    <groupId>net.bretti.modelcheck</groupId>
    <artifactId>modelcheck</artifactId>
    <version>1.0.0</version>
</dependency>
// https://jarcasting.com/artifacts/net.bretti.modelcheck/modelcheck/
implementation 'net.bretti.modelcheck:modelcheck:1.0.0'
// https://jarcasting.com/artifacts/net.bretti.modelcheck/modelcheck/
implementation ("net.bretti.modelcheck:modelcheck:1.0.0")
'net.bretti.modelcheck:modelcheck:jar:1.0.0'
<dependency org="net.bretti.modelcheck" name="modelcheck" rev="1.0.0">
  <artifact name="modelcheck" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.bretti.modelcheck', module='modelcheck', version='1.0.0')
)
libraryDependencies += "net.bretti.modelcheck" % "modelcheck" % "1.0.0"
[net.bretti.modelcheck/modelcheck "1.0.0"]

Dependencies

compile (1)

Group / Artifact Type Version
org.slf4j : slf4j-api jar 1.7.28

runtime (1)

Group / Artifact Type Version
ch.qos.logback : logback-classic Optional jar 1.2.3

Project Modules

There are no modules declared in this project.