Product Details

ARTMC - Abstract Regular Tree Model Checking

Created: 2007

Czech title
ARTMC - Abstraktní regulární stromový model checking
Type
software
License
optional - free
Authors
Keywords

Formal verification, shape analysis

Description

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

Location
Licence

Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Projects
Research groups
Departments
Back to top