Discover projects, groups and snippets. Share your projects with others
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.
Generate parsers using SableCC as part of a Gradle build
Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Samba Password Client - change your password on fileserver
The ProB Model Checker and Animator Plugin for Rodin
Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"