VeriFIT

A fast and simple automata library

Static Analysis and Verification course at FIT@BUT web page and public resources

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

Pipeline for benchmarking and comparison of automata libraries

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

Repository for sumbissions of Amaya to SMT-COMP

Kofola: Modular Complementation and Inclusion Checking for Omega Automata