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

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

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.

Interpreter for my mapper language for abstraction in automata learning.

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