Explore projects

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"

JavaScript implementation of CPN and CPN++

A helper library for handwritten parsers.

pseuCo.com

Verification 2018-2019, template project

Shared React components for pseuCo apps.