Download all versions of tlc4b JAR files with all dependencies
tlc4b from group de.hhu.stups (version 1.2.1)
Use the TLC model checker within ProB.
tlc4b from group de.hhu.stups (version 1.2.0)
Use the TLC model checker within ProB.
tlc4b from group de.hhu.stups (version 1.1.0)
Use the TLC model checker within ProB.
tlc4b from group de.hhu.stups (version 1.0.5)
Use the TLC model checker within ProB.
tlc4b from group de.hhu.stups (version 1.0.0)
Use the TLC model checker within ProB.