VeriFIT

Popular repositories Loading

1. mata mata Public

   A fast and simple automata library

   Stata 54 23

2. z3-noodler z3-noodler Public

   Forked from Z3Prover/z3

   The Z3-Noodler String Solver

   C++ 34 11

3. angie angie Public

   Next generation of static analyzers

   C++ 5 1

4. unite unite Public

   Mirror of our Gitlab repository https://pajda.fit.vutbr.cz/verifit/unite

   Java 4

5. smg3 smg3 Public

   Symbolic Memory Graphs library, this time in C++!

   C++ 3 2

6. pycobench pycobench Public

   A small framework for running benchmarks

   Python 2 1