Skip to content

@VeriFIT VeriFIT

All

    Repositories list

    42 repositories

    • conference-chase

      Public
      Python
      •0•0•0•0•Updated Oct 13, 2026Oct 13, 2026

    • z3-noodler

      Public
      The Z3-Noodler String Solver
      z3smtz3-smt-solver
      z3smtz3-smt-solverstring-solving
      C++
      •
      Other
      •1.7k•31•80•10•Updated Oct 12, 2026Oct 12, 2026

    • mata

      Public
      A fast and simple automata library
      librarypython-librarytransducers
      librarypython-librarytransducerscpp-libraryfinite-automata
      Stata
      •
      MIT License
      •23•53•152•34•Updated Oct 12, 2026Oct 12, 2026

    • smt-string-bench-results

      Public
      Jupyter Notebook
      •1•1•0•0•Updated Oct 12, 2026Oct 12, 2026

    • automata-lib-bench

      Public
      Pipeline for benchmarking and comparison of automata libraries
      Shell
      •
      MIT License
      •0•0•0•1•Updated Oct 12, 2026Oct 12, 2026

    • spot

      Public
      Fork of Spot, a platform for LTL and omega-automata manipulation (upstream: https://gitlab.lre.epita.fr/spot/spot)
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •0•0•0•1•Updated Oct 8, 2026Oct 8, 2026

    • nfa-program-parser

      Public
      Stata
      •0•1•2•0•Updated Oct 8, 2026Oct 8, 2026

    • pycobench

      Public
      A small framework for running benchmarks
      Python
      •1•1•0•0•Updated Oct 8, 2026Oct 8, 2026

    • kofola

      Public
      Kofola: Modular Complementation and Inclusion Checking for Omega Automata
      inclusion-checkingcomplementationomega-automata
      inclusion-checkingcomplementationomega-automata
      C++
      •
      GNU General Public License v3.0
      •0•1•0•2•Updated Oct 6, 2026Oct 6, 2026

    • sav-public

      Public
      Static Analysis and Verification course at FIT@BUT web page and public resources
      HTML
      •0•0•0•0•Updated Oct 6, 2026Oct 6, 2026

    • smt-bench

      Public
      SMT benchmarking platform
      Python
      •2•2•0•0•Updated Sep 29, 2026Sep 29, 2026

    • MoToBuddy

      Public
      BuDDy with MTBDD support
      C
      •
      Other
      •1•0•0•0•Updated Sep 25, 2026Sep 25, 2026

    • ba-compl-eval

      Public
      Evaluation environment for Omega automata complementation and inclusion testing
      Jupyter Notebook
      •1•0•0•0•Updated Sep 24, 2026Sep 24, 2026

    • quantum-eval

      Public
      Evaluation environment for quantum tools
      OpenQASM
      •
      MIT License
      •0•0•0•0•Updated Sep 22, 2026Sep 22, 2026

    • unite

      Public
      Mirror of our Gitlab repository https://pajda.fit.vutbr.cz/verifit/unite
      Java
      •
      Eclipse Public License 2.0
      •0•4•0•0•Updated Sep 7, 2026Sep 7, 2026

    • nfa-bench

      Public
      Collected list of benchmarks for evaluating automata supporting non-deterministic finite automata in .mata format
      Stata
      •2•1•0•0•Updated Jun 25, 2026Jun 25, 2026

    • mata-comparison

      Public
      Pipeline for comparison of the Mata library with other libraries and tools
      C++
      •
      Other
      •0•0•8•0•Updated Jun 15, 2026Jun 15, 2026

    • amaya-smt-comp

      Public
      Repository for sumbissions of Amaya to SMT-COMP
      TeX
      •0•0•0•0•Updated May 26, 2026May 26, 2026

    • RegisterSetAutomata

      Public
      Python
      •0•1•0•0•Updated May 23, 2026May 23, 2026

    • rsaregex-artifact

      Public
      Python
      •0•1•0•0•Updated Apr 1, 2026Apr 1, 2026

    • algebraic-complex-numbers

      Public
      A library implementing a complex numbers precisely, as a 2^N+1 tuple of integers.
      C++
      •
      MIT License
      •0•0•0•0•Updated Feb 28, 2026Feb 28, 2026

    • kofola-artifact

      Public
      Python
      •
      Other
      •0•0•0•0•Updated Oct 29, 2025Oct 29, 2025

    • ProStatA

      Public
      LLVM-based framework "Pro Statické Analyzátory"
      C++
      •
      GNU General Public License v3.0
      •3•0•0•0•Updated Apr 21, 2025Apr 21, 2025

    • ExpoSE

      Public
      A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modellin…
      JavaScript
      •
      MIT License
      •41•0•0•1•Updated Feb 5, 2025Feb 5, 2025

    • automata-bench

      Public
      Collected list of benchmarks for evaluating different approaches to reasoning about regular properties.
      automatanon-deterministic-finite-automatondeterministic-finite-automata
      automatanon-deterministic-finite-automatondeterministic-finite-automataalternating-finite-automata
      Shell
      •0•0•0•0•Updated Nov 25, 2024Nov 25, 2024

    • lncs-paper-template-repo

      Public template
      A template repository for a LNCS-style paper
      TeX
      •0•0•0•0•Updated Sep 8, 2024Sep 8, 2024

    • mata-comparison-results

      Public
      Repository containing results for experimental evaluation of libmata library.
      TeX
      •0•0•0•0•Updated Aug 30, 2024Aug 30, 2024

    • poster-template

      Public
      Template for posters for VeriFIT group
      TeX
      •
      The Unlicense
      •0•0•0•0•Updated Mar 25, 2024Mar 25, 2024

    • afa-comparison-results

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Oct 26, 2023Oct 26, 2023

    • Automata

      Public
      Automata and transducer library for .NET
      C#
      •
      Other
      •27•0•6•1•Updated Oct 23, 2023Oct 23, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.