Explore projects
-
Updated
-
library for creating and using statemachines : lts,fsm and efsm
Updated -
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.
Updated -
-
http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.
Updated -
Updated
-
-
-
Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads
Archived 0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Chatserver written in AspectJ for the Software Product Lines course
Updated