Detail aplikovaného výsledku

ARTMC - Abstract Regular Tree Model Checking

ROGALEWICZ, A.; VOJNAR, T.

Originální název

ARTMC - Abstract Regular Tree Model Checking

Anglický název

ARTMC - Abstract Regular Tree Model Checking

Druh

Software

Abstrakt

The ARTMC tool is a prototype implementation of the technique forverification of programs manipulating dynamic data structures. It isbased on the generic model-checking technique "Abstract regular treemodel checking".

Abstrakt anglicky

The ARTMC tool is a prototype implementation of the technique forverification of programs manipulating dynamic data structures. It isbased on the generic model-checking technique "Abstract regular treemodel checking".

Klíčová slova

Formal verification, shape analysis

Klíčová slova anglicky

Formal verification, shape analysis

Umístění

http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/

Licenční poplatek

Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence

www

http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/