An implementation of the buffer protocol for unicode strings.
A static program analysis tool for detecting data races in pseuCo programs.
A server-side implementation of the jani-interaction protocol written in Go.
CPrAA - A Checker for Probabilistic Abstract Argumentation
Release of the current Modest Fret-π LRTDP version.
Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"
A helper library for handwritten parsers.
Verification 2018-2019, template project
Shared React components for pseuCo apps.