Detail produktu
libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype
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
01.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
Dokumenty