Explore projects

Generate parsers using SableCC as part of a Gradle build

Bachelor's thesis project Mario Surleont

The ProB Model Checker and Animator Plugin for Rodin

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

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

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

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

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

adds access to prob via vscode

Logstash Elasticsearch Kibana