Product Details

Forester: A Tool for Verification of Programs with Pointers

Created: 2010

Czech title
Forester: Nástroj pro verifikaci programů s ukazateli
Type
software
License
required - free
Authors
Habermehl Peter (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords

verification, pointers, tree automata, abstraction, refinement

Description

The tool allows verification of programs which manipulate complex dynamic data structures.

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