TLC integration into ProB

Use the TLC model checker within ProB.

Homepage POM file JAR file Javadoc

'de.hhu.stups:tlc4b:1.0.0'

<dependency>
	<groupId>de.hhu.stups</groupId>
	<artifactId>tlc4b</artifactId>
	<version>1.0.0</version>
</dependency>

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

"de.hhu.stups", "tlc4b", "1.0.0"

Dependencies

Compile dependencies

de.hhu.stups » bparser » 2.5.0-SNAPSHOT
de.hhu.stups » ltlparser » 2.5.0-SNAPSHOT
de.hhu.stups » parserbase » 2.5.0-SNAPSHOT
de.hhu.stups » prologlib » 2.5.0-SNAPSHOT
de.hhu.stups » tlatools » 1.0.0

Test dependencies

de.hhu.stups » tla2bAST » 1.0.7-SNAPSHOT
junit » junit » 4.11