Explore projects

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

Python+Java tool for learning TCP implementations

A project where we develop some of the (Java) data-structures that we use in Tomte

The project simulates TCP models learned as part of the learning & model checking TCP work.

Some of the scripts used for the RERS challenge 2016

iTasks Android app

library for creating and using statemachines : lts,fsm and efsm

Learning product automata

Het project van de app voor het R&D-project

There’s an App for Everything

Clide a CLean IDE (eclipse plugin)