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.

Projects
Research groups
Departments
Back to top