Forester: Nástroj pro verifikaci programů s ukazateli

Autoři:Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
Typ:software
Vznik:2010
Licence:vyžadována - zdarma
Klíčová slova:verification, pointers, tree automata, abstraction, refinement
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/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
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).

Vaše IPv4 adresa: 52.200.130.163
Přepnout na https