Explore projects
-
-
-
Updated
-
-
Updated
-
Updated
-
Common BUS for communication of all Testos componens.
Updated -
Updated
-
-
A tool for automated translation of specification to a structured data.
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
-
A tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).
Updated -
An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata
UpdatedUpdated -
Updated
-
Updated