Product Details

Ranker: A Tool for Complementing Büchi Automata

Created: 2022

Czech title
Ranker: Nástroj pro komplementaci Büchiho automatů
Type
software
License
no - free
Authors
Havlena Vojtěch, Ing., Ph.D. (DITS FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Šmahlíková Barbora, Ing. (FIT BUT)
Keywords

Buchi automata
complementation
rank-based complementation
language inclusion
model checking

Description

Ranker is a tool for complementing Büchi automata, necessary, e.g., in automata-based model checking of reactive systems. It uses rank-based complementation as its basic procedure, but enriches it with many optimizations and heuristics. Moreover, for automata of specific types (e.g., inherently weak automata, semi-deterministic automata), it contains specialized constructions with novel optimizations.

Location
Licence

Open source software under the MIT license https://raw.githubusercontent.com/vhavlena/ranker/master/LICENSE

Projects
Research groups
Departments
Back to top