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 encoded nondeterministic bottom-up finite tree automata and standard operations on 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

https://github.com/ondrik/libsfta