Explore projects
-
clean-and-itasks / parametric-lenses
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
-
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.
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-scrub
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-base
Updated -
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/itasks-ide
Updated -
A project where we develop some of the (Java) data-structures that we use in Tomte
Updated -
Updated
-
THIS IS A MIRROR!!!
Please add issues and pull requests on https://github.com/timjs/clean-core
Updated -
The project simulates TCP models learned as part of the learning & model checking TCP work.
Updated -
Interpreter for my mapper language for abstraction in automata learning.
Updated -
A new SAPL interpreter written in C for cross-compiling it to asm.js
Archived 0Updated -
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
Archived 0Updated -
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
Archived 0Updated -
-
-
-
UpdatedUpdated