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

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

adds access to prob via vscode

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

The ProB Model Checker and Animator Plugin for Rodin

Generate parsers using SableCC as part of a Gradle build

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

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

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