Explore projects

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

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

Python+Java tool for learning TCP implementations

Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP. https://github.com/Jaxan/basic-learning

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

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

Interpreter for my mapper language for abstraction in automata learning.

Some of the scripts used for the RERS challenge 2016

iTasks Android app

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

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

Learning product automata

Het project van de app voor het R&D-project

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads