Explore projects

Release of the current Modest Fret-π LRTDP version.

Shared React components for pseuCo apps.

Momba Modeling Language (MOML) support for Visual Studio Code.

https://marketplace.visualstudio.com/items?itemName=koehlma.moml-language

Rigorous Definition Language (RDL) support for Visual Studio Code.

An object-oriented approach to regular expressions.

A static program analysis tool for detecting data races in pseuCo programs.

Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"

An implementation of the buffer protocol for unicode strings.

JavaScript implementation of CPN and CPN++

Memory Model Mapper

A compiler for documents in the hybrid document format.