Detail aplikovaného výsledku

Ranker: A Tool for Complementing Büchi Automata

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.

Originální název

Ranker: A Tool for Complementing Büchi Automata

Anglický název

Ranker: A Tool for Complementing Büchi Automata

Druh

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.

Abstrakt aglicky

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

Klíčová slova anglicky

Buchi automata
complementation
rank-based complementation
language inclusion
model checking

Umístění

https://github.com/vhavlena/ranker

Licenční poplatek

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

www

https://github.com/vhavlena/ranker