Detail aplikovaného výsledku

libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype

LENGÁL, O.; HOLÍK, L.; VOJNAR, T.

Originální název

libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype

Anglický název

libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype

Druh

Software

Abstrakt

This library implements semi-symbolically encodednondeterministic bottom-up finite tree automata and standard operationson them.

Abstrakt anglicky

This library implements semi-symbolically encodednondeterministic bottom-up finite tree automata and standard operationson them.

Klíčová slova

tree automata, formal verification, binary decision diagrams, multi-terminal binary decision diagrams

Klíčová slova anglicky

tree automata, formal verification, binary decision diagrams, multi-terminal binary decision diagrams

Umístění

https://github.com/ondrik/libsfta

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

https://github.com/ondrik/libsfta