Explore projects
-
-
-
Experimental extension of Forester for Resource Bounds computation.
Updated -
-
-
Updated
-
MINA is a tool for verification of programs with an unbounded number of threads.
Updated -
-
Common BUS for communication of all Testos componens.
Updated -
An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata
UpdatedUpdated -
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated