VeriFIT/kofola

Alexaj, Ondrej; Havlena, Vojtěch; Lengál, Ondřej; Li, Yong; Mazzocchi, Nicolas

doi:10.4230/artifacts.27641

Artifact

VeriFIT/kofola Software

Authors Ondrej Alexaj , Vojtěch Havlena , Ondřej Lengál , Yong Li , Nicolas Mazzocchi

Part of: Collection: Supplementary Materials
License: GNU General Public License v3.0 only
Publication Date: 2026-08-24

Document Identifiers

DOI: 10.4230/artifacts.27641
URN: urn:nbn:de:0030-drops-276413

Author Details

Ondrej Alexaj

Brno University of Technology, Czech Republic

Vojtěch Havlena

Brno University of Technology, Czech Republic

Ondřej Lengál

Brno University of Technology, Czech Republic

Yong Li

Key Laboratory of System Software (Chinese Academy of Sciences), ISCAS, Beijing, China

Nicolas Mazzocchi

Slovak University of Technology in Bratislava, Slovakia

Content

Software (Source Code): https://github.com/VeriFIT/kofola
archived version

Version/Status

Content created at: 2025-10-18

Cite As Get BibTex

Ondrej Alexaj, Vojtěch Havlena, Ondřej Lengál, Yong Li, Nicolas Mazzocchi. VeriFIT/kofola (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27641

Description

Kofola: Modular Complementation and Inclusion Checking for Omega Automata

Subject Classification

Keywords

complementation
inclusion-checking
omega-automata

Programming Languages

C++
Python
Shell
CMake
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail