Explore projects
-
-
-
Updated
-
-
-
-
-
Tyrant is an open source tool, that learns from the logs of captured communication (in form of messages) and reproduces the run in form of the so called scenario.
Updated -
-
Updated
-
-
Updated
-
Updated
-
-
A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning
Updated -
An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata
UpdatedUpdated -
Updated
-