libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty

Autoři:Holík Lukáš, Lengál Ondřej, Vojnar Tomáš
Typ:software
Vznik:2010
Licence:vyžadována - zdarma
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í:
https://github.com/ondrik/libsfta
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
Volně šiřitelný software poskytovaný pod licencí GNU GPL v3.

Vaše IPv4 adresa: 107.20.34.144
Přepnout na IPv6 spojení

DNSSEC [dnssec]