Indexed Artifacts (12.4M)

Popular Categories

Artifacts using Bparser (6)

Sort: popular | newest
Translator from TLA+ to ProB's AST representation.
Last Release on Aug 31, 2018
The ProB 2.0 Kernel
Last Release on Aug 10, 2018
Part of the ProB Parser library
Last Release on Jul 18, 2018
Part of the ProB Parser library
Last Release on Jul 18, 2018
Use the TLC model checker within ProB.
Last Release on Aug 19, 2015
Part of the ProB Parser library
Last Release on Jul 18, 2018