Explore projects

The Modest Toolset

A server-side implementation of the jani-interaction protocol written in Go.

JavaScript implementation of CPN and CPN++

The JANI front-end module for the LTSmin toolset

The Python toolbox for working with quantitative models.

Memory Model Mapper

A Python wrapper around the Oniguruma regular expression library.

pseuCo.com