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

vyžadována - zdarma

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

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 (FIT-S-10-1)
Bohatý modelovací jazyk -- infrastruktura pro spolehlivé počítačové systémy (IC0901)
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ů (GD102/09/H042)
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami (GP201/09/P531)
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)

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

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)