Faculty of Information Technology, BUT

Product Details

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

Created: 2010

Czech title
libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty
Type
software
License
required - free
Authors
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
Licence
Free software under the GNU GPL v3.
Back to top