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

https://github.com/ondrik/libsfta

Dokumenty