Explore projects

Python+Java tool for learning TCP implementations

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

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

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

Some of the scripts used for the RERS challenge 2016

PT15's Sokoban app for the R&D course

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP. https://github.com/Jaxan/basic-learning

Test techniques assignment 2

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

Interpreter for my mapper language for abstraction in automata learning.

Clide a CLean IDE (eclipse plugin)

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.