Indexed Artifacts (9.03M)

Popular Categories

Artifacts using LTLParser (6)

Sort: popular | newest
Translator from TLA+ to ProB's AST representation.
Last Release on Jul 20, 2017
Translator from TLA+ to ProB's AST representation.
Last Release on Jul 20, 2017
The ProB 2.0 Kernel
Last Release on Mar 20, 2018
The ProB 2.0 Kernel
Last Release on Mar 20, 2018
Parser for a LTL Pattern DSL
Last Release on Aug 12, 2015
Part of the ProB Parser library
Last Release on Mar 15, 2018
Use the TLC model checker within ProB.
Last Release on Aug 19, 2015


Part of the ProB Parser library
Last Release on Mar 15, 2018