VeriFIT

mata

A fast and simple automata library

z3-noodler

The Z3-Noodler String Solver

unite

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

angie

Next generation of static analyzers

smg3

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

kofola

Complementation of Büchi automata

smt-bench

SMT benchmarking platform

smt-string-bench-results

SPEF

afa-comparison-results

ba-compl-eval

Evaluation environment for Büchi automata complementation

bdd-format

Proposal for a standard format for BDDs and their variations

cav22-ranker-artifact

Artifact for CAV'22 tool paper about Ranker

mata-comparison-results

Repository containing results for experimental evaluation of libmata library.

poster-template

Template for posters for VeriFIT group

ProStatA

LLVM-based framework "Pro Statické Analyzátory"

regular-game

A game where the player fights with regular languages

retro

Restricted Register Transducers for string solving

smg

Symbolic Memory Graph library in Java

verifit.github.io

:triangular_ruler: A flexible two-column Jekyll theme perfect for building personal sites, blogs, and portfolios.

amaya-smt-comp

Repository for sumbissions of Amaya to SMT-COMP

Automata

Automata and transducer library for .NET

automata-bench

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

mata-comparison

Master repo for comparison of libmata library

mata-comparison-brics

Nfa emptiness checker using BRICS library

mata-comparison-vata

mata-comparsion-mona

nfa-bench

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

nfa-program-parser