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.

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.

A collection of utilities and helpers for writing Python programs.

The JANI front-end module for the LTSmin toolset

The Python toolbox for working with quantitative models.