ARTMC - Abstract Regular Tree Model Checking

Czech title

ARTMC - Abstraktní regulární stromový model checking

Type

software

License

optional - free

Authors

Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)

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/

Licence

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 (GD102/05/H050)
Security-Oriented Research in Information Technology (MSM0021630528)

Research groups

Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)

Departments

Faculty of Information Technology BUT (FIT BUT)