Detail produktu

Forester: A Tool for Verification of Programs with Pointers

Vznik: 2010

Název česky
Forester: Nástroj pro verifikaci programů s ukazateli
Typ
software
Licence
vyžadována - zdarma
Autoři
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)
Popis

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

Umístění

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

Licence

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

Projekty
Výzkumné skupiny
Pracoviště
Nahoru