Explore projects

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

A project where we develop some of the (Java) data-structures that we use in Tomte

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

This repo has been migrated to GitHub: https://github.com/thaliawww/ThaliApp

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