Explore projects

A collection of some mealy machines in .dot format.

A collection of shell scripts or commands

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

The Perception and Action Toolbox

Python+Java tool for learning TCP implementations

Data Manager

Docker image for the software security testcms.

Re-usable Tonic libraries and stand-alone Tonic viewer

We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.

compiler project for compiler construction course in Rust

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

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/itasks-ide

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-base

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-scrub

This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC