Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)

Ondrej Alexaj, Vojtěch Havlena, Lukáš Holík +3

We present Kofola, an efficient tool for complementation and inclusion checking of Büchi automata, two central tasks in automata-theoretic verification with applications in model c…