Explore projects

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

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

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

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

Python+Java tool for learning TCP implementations

Clean compiler

Implementing the L* learning algorithm for nominal automata, using the ONS library