A project where we develop some of the (Java) data-structures that we use in Tomte
Tomte is a tool that fully automatically constructs abstractions for automata learning.
There’s an App for Everything
The project simulates TCP models learned as part of the learning & model checking TCP work.
Python+Java tool for learning TCP implementations
library for creating and using statemachines : lts,fsm and efsm
PT15's Sokoban app for the R&D course
Some of the scripts used for the RERS challenge 2016