Explore projects

Python+Java tool for learning TCP implementations

Clean compiler

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

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.

Some of the scripts used for the RERS challenge 2016

Clean make

Clean codegenerator

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

Run-time system for the Clean programming language

Some of the scripts used for the RERS challenge 2016

Clean make