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
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
and others
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/

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, 2005-2008, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Faculty of Information Technology (FIT)
Back to top