Download tlc4b JAR file with all dependencies
tlc4b from group de.hhu.stups (version 1.1.0)
Use the TLC model checker within ProB.
Artifact tlc4b
Group de.hhu.stups
Version 1.1.0
Last update 28. April 2023
Organization not specified
URL https://github.com/hhu-stups/tlc4b
License Eclipse Public License, Version 2.1
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.1.0
Last update 28. April 2023
Organization not specified
URL https://github.com/hhu-stups/tlc4b
License Eclipse Public License, Version 2.1
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)