Explore projects

LaTeX-Vorlage für Bachelor und Masterarbeiten.

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

ProB Modelling Examples as Jupyter Notebooks.

Kodkod Wrapper for ProB

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

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

adds access to prob via vscode

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

Generate parsers using SableCC as part of a Gradle build

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

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