ARTMC - Abstraktní regulární stromový model checking

Autoři:Rogalewicz Adam, Vojnar Tomáš
Typ:software
Vznik:2007
Licence:podle podmínek
Klíčová slova:Formal verification, shape analysis
Popis:
ARTMC je prototypový nástroj určený k verifikaci programů pracujících s dynamickými datovými strukturami. Je založen na obecné technice pro verifikace - "abstraktním regulárním model checkingu".
Umístění:
http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/
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: 54.161.40.41
Přepnout na IPv6 spojení

DNSSEC [dnssec]