Forester: A Tool for Verification of Programs with Pointers

Forester: Nástroj pro verifikaci programů s ukazateli

software

vyžadována - zdarma

Habermehl Peter (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)

Tento nástroj umožnuje verifikaci programů, které používají složité dynamické datové struktury.

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Automaty a logiky v symbolické verifikaci software (MEB021023)
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)
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
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)