Explore projects

LaTeX-Vorlage für Bachelor und Masterarbeiten.

ProB Modelling Examples as Jupyter Notebooks.

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

Kodkod Wrapper for ProB

adds access to prob via vscode

A language server implementation for B, using ProB as backend, based on Java/Kotlin

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

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.

The ProB Model Checker and Animator Plugin for Rodin

This repository deals with the data exploration of the data contained in D-BAS.