Explore projects

http://cncz.science.ru.nl en https://home.cncz.nl

Python+Java tool for learning TCP implementations

This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).

Clean compiler

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

Software to run the pipelines, work with database, etc.

Some of the scripts used for the RERS challenge 2016

Build and CI scripts for Clean

Docker image for the software security testcms.

Some of the scripts used for the RERS challenge 2016