Explore projects

ProB Modelling Examples as Jupyter Notebooks.

Public codebase for "Dialogue Term Extraction using Transfer Learning and Topological Data Analysis" published at SIGDIAL 2022.

adds access to prob via vscode

Kodkod Wrapper for ProB

The Camille Editor for Rodin

TBA

A Java-based Jupyter kernel for ProB 2

LaTeX-Vorlage für Bachelor und Masterarbeiten.

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