JarCasting
JarCasting JarCasting
Last Version

TLC integration into ProB 1.0.0

Use the TLC model checker within ProB.

License

License
GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

tlc4b
Version

Version

1.0.0
Type

Type

jar
Description

Description

TLC integration into ProB
Use the TLC model checker within ProB.
Project URL

Project URL

https://github.com/hhu-stups/tlc4b

Download tlc4b 1.0.0

Filename Size
tlc4b-1.0.0.pom
tlc4b-1.0.0.jar 3 MB
tlc4b-1.0.0-sources.jar 112 KB
tlc4b-1.0.0-javadoc.jar 440 KB
Browse 

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

Dependencies

compile (5)

Group / Artifact Type Version
de.hhu.stups : parserbase jar 2.5.0-SNAPSHOT
de.hhu.stups : ltlparser jar 2.5.0-SNAPSHOT
de.hhu.stups : bparser jar 2.5.0-SNAPSHOT
de.hhu.stups : tlatools jar 1.0.0
de.hhu.stups : prologlib jar 2.5.0-SNAPSHOT

test (2)

Group / Artifact Type Version
de.hhu.stups : tla2bAST jar 1.0.7-SNAPSHOT
junit : junit jar 4.11

Project Modules

There are no modules declared in this project.