Detail produktu
Ranker: A Tool for Complementing Büchi Automata
Vznik: 2022
Název česky
Ranker: Nástroj pro komplementaci Büchiho automatů
Typ
software
Licence
ne - zdarma
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Šmahlíková Barbora, Ing. (FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Šmahlíková Barbora, Ing. (FIT VUT)
Popis
Ranker je nástroj pro komplementaci Büchiho automatů, což je operace potřebná např. při model-checkingu reaktivních systémů založeném na automatech. Ranker používá rank-based proceduru jako základ pro komplementaci, ale tato procedura je doplněna o řadu optimalizací a heuristik. Navíc nástroj používá specializované a optimalizované procedury pro automaty specifických typů, jako jsou inherentně slabé automaty a semi-deterministické automaty.
Umístění
Licence
Volně šiřitelný software pod MIT licencí https://raw.githubusercontent.com/vhavlena/ranker/master/LICENSE
Projekty
Výzkumné skupiny
Automata@FIT (VZ Automata@FIT)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)