Explore projects

Python+Java tool for learning TCP implementations

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

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.

iTasks Android app

There’s an App for Everything

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

An automatic code review tool for student Java assignments.