Explore projects

A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git

Modified version of the TLA+ tools for usage in ProB

Generate parsers using SableCC as part of a Gradle build

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

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

The Camille Editor for Rodin

Kodkod Wrapper for ProB

The ProB Model Checker and Animator Plugin for Rodin