Explore projects
-
-
-
-
Updated
-
Common BUS for communication of all Testos componens.
Updated -
Updated
-
Updated
-
combine: tool for generating a covering array for T-wise combinatorial testing
Updated -
-
Updated
-
-
Prefekt, the digital twin auditor, is a python tool that compares various types of metrics obtained from simulation, analysis or running factory environment.
Updated -
Updated
-
Updated
-
A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning
Updated -
MINA is a tool for verification of programs with an unbounded number of threads.
Updated -
An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata
UpdatedUpdated -
Updated
-