Explore projects

LaTeX-Vorlage für Bachelor und Masterarbeiten.

A Java-based Jupyter kernel for ProB 2

The ProB Model Checker and Animator Plugin for Rodin

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

ProB Modelling Examples as Jupyter Notebooks.