ARTMC - Abstract Regular Tree Model Checking

Authors:Rogalewicz Adam, Vojnar Tomáš
Type:software
Created:2007
Licence:optional
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:
http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/
Research groups:
Departments:
Licence terms:
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Your IPv4 address: 54.157.239.93
Switch to IPv6 connection

DNSSEC [dnssec]