Explore projects
-
Lenka Turoňová / Automata-cadet_bench-07-03-2019
MIT LicenseUpdated -
Updated
-
-
Lenka Turoňová / Automata-cadet_bench-03-29-2019
MIT LicenseUpdated -
Updated
-
-
Lenka Turoňová / Automata-05-02
MIT LicenseUpdated -
Updated
-
Extracting CFGs from C/C++ programs using analysis of llvm-ir.
UpdatedUpdated -
Updated
-
Lenka Turoňová / benchmarks-CA
MIT LicenseUpdated -
Lenka Turoňová / Automata
MIT LicenseUpdated -
Lenka Turoňová / Automata-02-02-2019
MIT LicenseUpdated -
Testos / gestr
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
-
Tomáš Dacík / broom
GNU General Public License v3.0 or laterA Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning
Updated -
-
-
MINA is a tool for verification of programs with an unbounded number of threads.
Updated -
A project for the course Network Applications and Network Administration (bachelor's studies).
Updated