Product detail
libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype
LENGÁL, O. HOLÍK, L. VOJNAR, T.
Product type
software
Abstract
This library implements semi-symbolically encodednondeterministic bottom-up finite tree automata and standard operationson them.
Keywords
tree automata, formal verification, binary decision diagrams, multi-terminal binary decision diagrams
Create date
1. 12. 2010
Location
https://github.com/ondrik/libsfta
Possibilities of use
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www