Product detail

ARTMC - Abstract Regular Tree Model Checking

ROGALEWICZ, A. VOJNAR, T.

Product type

software

Abstract

The ARTMC tool is a prototype implementation of the technique for verification of programs manipulating dynamic data structures. It is based on the generic model-checking technique "Abstract regular tree model checking".

Keywords

Formal verification, shape analysis

Create date

1. 12. 2007

Location

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

Possibilities of use

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

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

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