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

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

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Lengál Ondřej, Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)

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

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

https://github.com/ondrik/libsfta

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

Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, ukončen
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, 2009-2012, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, řešení
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami, GAČR, Standardní projekty, GP201/09/P531, 2009-2011, ukončen
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, 2010-2013, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)