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

01.12.2010

Location

https://github.com/ondrik/libsfta

www