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

TBA

Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

The ProB Model Checker and Animator Plugin for Rodin

Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

Samba Password Client - change your password on fileserver