Explore projects
-
-
verifit / ete-verifit-tasks
Eclipse Public License 2.0Updated -
Updated
-
Ondřej Pavela / fbinfer-performance
MIT LicenseUpdated -
Updated
-
Tomáš Fiedor / forester-resource-bounds
GNU General Public License v3.0 onlyExperimental extension of Forester for Resource Bounds computation.
Updated -
Testos / gestr
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
-
Updated
-
-
Updated
-
A project for the course Computer Communications and Networks (bachelor's studies).
Updated -
A project for the course Network Applications and Network Administration (bachelor's studies).
Updated -
Updated
-
Extracting CFGs from Java programs using analysis of bytecode.
Updated -
verifit / jSEM
Eclipse Public License 2.0A simple extension manager for Java compatible with Eclipse.
Updated -
-
Vladimír Marcin / L2D2
MIT LicenseUpdated -
anaconda / libdie
GNU General Public License v3.0 or laterA library for extracting debugging information from binary files.
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