A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git
Tool for translating B to TLA+ for model checking with TLC.
Alternative model checking backend for ProB.
A Java-based Jupyter kernel for ProB 2
Generate parsers using SableCC as part of a Gradle build
The Camille Editor for Rodin
The ProB Model Checker and Animator Plugin for Rodin