Product Details
ARTMC - Abstract Regular Tree Model Checking
Created: 2007
Czech title
ARTMC - Abstraktní regulární stromový model checking
Type
software
License
Use of the result by another entity is possible without acquiring a license in some cases
License Fee
The licensor does not require a license fee for the result
Authors
Keywords
Formal verification, shape analysis
Description
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".
Location
License Conditions
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments