Explore projects

An implementation of the buffer protocol for unicode strings.

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.

Supplement material and test results for the paper "Admissibility in Probabilistic Argumentation".

pseuCo.com

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

Verification 2018-2019, template project

Shared React components for pseuCo apps.

A collection of utilities and helpers for writing Python programs.