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). |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)