Discover projects, groups and snippets. Share your projects with others
Momba Modeling Language (MOML) support for Visual Studio Code.
Additional material for the MMB2020 paper "A Modest Race for Deep Statistical Model Checking"
A Python library for working with quantitative models.
Release of the current Modest Fret-π LRTDP version.
A python script to translate Jani MDP models to PPDDL.
Verification 2018-2019, template project
Memory Model Mapper
A small (but powerful) IDE for Pseuco. Archived version 1, new version at https://liebe.cs.uni-saarland.de/gitlab/pseuco/pseuco-ide.