Detail produktu

ARTMC - Abstract Regular Tree Model Checking

Vznik: 2007

Název česky
ARTMC - Abstraktní regulární stromový model checking
Typ
software
Licence
podle podmínek - zdarma
Autoři
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í
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