Explore projects

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

Hybrid adaptive distinguishing sequences for FSM-based complete testing

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

Python+Java tool for learning TCP implementations

Clide a CLean IDE (eclipse plugin)

Some of the scripts used for the RERS challenge 2016

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads

An automatic code review tool for student Java assignments.