Explore projects

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

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

adds access to prob via vscode

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

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

Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".

Samba Password Client - change your password on fileserver

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