Detail produktu

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

Vznik: 2010

Název česky
libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty
Typ
software
Licence
vyžadována - zdarma
Autoři
Klíčová slova

stromové automaty, formální verifikace, binární rozhodovací diagramy, multiterminálové binární rozhodovací diagramy

Popis

Tato knihovna implementuje semi-symbolicky reprezentované nedeterministické bottom-up konečné stromové automaty a standardní operace na nich.

Umístění
Licence

Volně šiřitelný software poskytovaný pod licencí GNU GPL v3.

Projekty
Výzkumné skupiny
Pracoviště
Nahoru