Fakulta informačních technologií VUT v Brně

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.
Nahoru