Explore projects

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.

A collection of shell scripts or commands

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

Python+Java tool for learning TCP implementations

Docker image for the software security testcms.

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

Some of the scripts used for the RERS challenge 2016

Software to run the pipelines, work with database, etc.

Build and CI scripts for Clean

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).

This project has been moved to GitLab.com.