Explore projects
-
-
Testos / DB data generator extended
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
-
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 -
Ondřej Pavela / fbinfer-performance
MIT LicenseUpdated -
This bachelor thesis deals with the investigation of amplitude and phase frequency responses of linear electrical circuits. It compares classical methods of investigation using a symbolic-complex method with investigation using dierential e
Updated -
MINA is a tool for verification of programs with an unbounded number of threads.
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 -
Vladimír Marcin / L2D2
MIT LicenseUpdated -
Updated
-
Testos / gestr
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
Testos / ts-reporter
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
-
-
Ondřej Vašíček / OSLC Adapter
Eclipse Public License 2.0Developement repository for the OSLC Anaconda Adapter.
Updated -
Lenka Turoňová / Automata
MIT LicenseUpdated -
Adam Rogalewicz / 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 -
Lenka Turoňová / Automata-25-01-2019
MIT LicenseUpdated