All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download tla2bAST JAR file with all dependencies

Search JAR files by class name

tla2bAST from group de.hhu.stups (version 1.2.1)

Translator from TLA+ to ProB's AST representation.

Group: de.hhu.stups Artifact: tla2bAST
Show all versions Show documentation Show source 
 

0 downloads
Artifact tla2bAST
Group de.hhu.stups
Version 1.2.1
Last update 11. August 2023
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy