libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype
Authors:Holík Lukáš, Lengál Ondřej, Vojnar Tomáš
Type:software
Created:2010
Licence:required - no fee
Keywords:tree automata, formal verification, binary decision diagrams, multi-terminal binary decision diagrams
Description:
This library implements semi-symbolically encoded nondeterministic bottom-up finite tree automata and standard operations on them.
Location:
https://github.com/ondrik/libsfta
Research groups:
Departments:
Licence terms:
Free software under the GNU GPL v3.