Explore projects
-
-
Common BUS for communication of all Testos componens.
Updated -
Ondra Lengál / libvata-tree-congr
GNU General Public License v3.0 onlyAn extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata
UpdatedUpdated -
anaconda / libdie
GNU General Public License v3.0 or laterA library for extracting debugging information from binary files.
Updated -
anaconda / anaconda
GNU General Public License v3.0 or laterANaConDA framework bundled with several built-in analysers.
Updated