Faculty of Information Technology, BUT

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áš, 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).
Back to top