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áš, 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).
Nahoru