Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
LENGÁL, O. HOLÍK, L. VOJNAR, T.
Typ produktu
software
Abstrakt
This library implements semi-symbolically encoded nondeterministic bottom-up finite tree automata and standard operations on them.
Klíčová slova
tree automata, formal verification, binary decision diagrams, multi-terminal binary decision diagrams
Datum vzniku
1. 12. 2010
Umístění
https://github.com/ondrik/libsfta
Možnosti využití
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www