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


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