Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
HAVLENA, V. LENGÁL, O. ŠMAHLÍKOVÁ, B.
Typ produktu
software
Abstrakt
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.
Klíčová slova
Buchi automata complementation rank-based complementation language inclusion model checking
Datum vzniku
4. 6. 2022
Umístění
https://github.com/vhavlena/ranker
Možnosti využití
Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www