TLC integration into ProB

Use the TLC model checker within ProB.

License	Eclipse Public License, Version 2.1
GroupId	de.hhu.stups
ArtifactId	tlc4b
Last Version	1.0.0
Release Date	Aug 19, 2015
Type	jar
Description	TLC integration into ProB Use the TLC model checker within ProB.
Project URL	https://github.com/hhu-stups/tlc4b

Download tlc4b

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

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/de.hhu.stups/tlc4b/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>tlc4b</artifactId>
    <version>1.0.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/de.hhu.stups/tlc4b/
implementation 'de.hhu.stups:tlc4b:1.0.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.hhu.stups/tlc4b/
implementation ("de.hhu.stups:tlc4b:1.0.0")

Apache Buildr

'de.hhu.stups:tlc4b:jar:1.0.0'

Apache Ivy

<dependency org="de.hhu.stups" name="tlc4b" rev="1.0.0">
  <artifact name="tlc4b" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.hhu.stups', module='tlc4b', version='1.0.0')
)

Scala SBT

libraryDependencies += "de.hhu.stups" % "tlc4b" % "1.0.0"

Leiningen

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

Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

Versions

Version
1.0.0 Aug 19, 2015