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