Explore projects

A Java-based Jupyter kernel for ProB 2

Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.

adds access to prob via vscode

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

Cell Growth Simulator

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

Samba Password Client - change your password on fileserver

Code for paper about loss of HGT genes

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript