HansvdLaan

HermieLab

A framework to automatically generate LearnLib Automata Learning Experiment Setups. With these, we can automatically reverse engineer complex programs to automaton-based representations of their behaviour.

GRRBAC-Verifier

aws-iot-twinmaker-samples

d3-plugins

[DEPRECATED] A repository for sharing D3.js V3 plugins.

debug-viatra

HermieLab-MusicBoxExample

A small example JavaFX GUI program to try out HermieLab on.

HermieLab-MusicBoxExample_With_Setup

TraceLab

TraceLab - Software Traceability Instrument to Facilitate and Empower Traceability Research and Technology Transfer

IssueWithSubdomain

jline3

JLine is a Java library for handling console input.

poc-policy-verifier

Program_Verification_Dummy_Programs

Some dummy programs for our program verification project

RobotCar

SS

Software Science Project 1

TimeExp

viatra-bug

viatra-bug-2

viatra-demo

Viatra-Petrinet-Example

w3schools-database

W3Schools Database for the SQL Tutorial