Explore projects

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

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

The ProB Model Checker and Animator Plugin for Rodin

adds access to prob via vscode

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

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

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

Generate parsers using SableCC as part of a Gradle build