Skip to content
@VeriFIT

VeriFIT

Popular repositories Loading

  1. mata mata Public

    A fast and simple automata library

    Stata 23 17

  2. z3-noodler z3-noodler Public

    Forked from Z3Prover/z3

    The Z3-Noodler String Solver

    C++ 12 6

  3. unite unite Public

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

    Java 4

  4. smg3 smg3 Public

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

    C++ 2 2

  5. angie angie Public

    Next generation of static analyzers

    C++ 2 1

  6. smt-bench smt-bench Public

    SMT benchmarking platform

    Python 2 1

Repositories

Showing 10 of 31 repositories
  • mata Public

    A fast and simple automata library

    Stata 23 MIT 17 69 16 Updated Mar 28, 2025
  • z3-noodler Public Forked from Z3Prover/z3

    The Z3-Noodler String Solver

    C++ 12 1,544 8 3 Updated Mar 27, 2025
  • smt-string-bench-results Public
    Jupyter Notebook 1 1 1 0 Updated Mar 25, 2025
  • smt-bench Public

    SMT benchmarking platform

    Python 2 1 0 0 Updated Mar 17, 2025
  • kofola Public Forked from barbora4/COLA

    Complementation and Inclusion Checking of Omega Automata

    C++ 1 GPL-3.0 5 2 1 Updated Mar 16, 2025
  • nfa-bench Public

    Collected list of benchmarks for evaluating automata supporting non-deterministic finite automata in .mata format

    Stata 0 2 0 0 Updated Feb 6, 2025
  • ExpoSE Public Forked from ExpoSEJS/ExpoSE

    A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

    JavaScript 0 MIT 41 0 1 Updated Feb 5, 2025
  • automata-bench Public

    Collected list of benchmarks for evaluating different approaches to reasoning about regular properties.

    Shell 0 0 0 0 Updated Nov 25, 2024
  • mata-comparison Public

    Pipeline for comparison of the Mata library with other libraries and tools

    C++ 0 0 8 0 Updated Nov 6, 2024
  • nfa-program-parser Public
    Stata 0 0 2 0 Updated Nov 6, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…