Projects

Description:
Forester: A Tool for Verification of Programs with Pointers
Authors:	Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
Type:	software
Created:	2010
Licence:	required - no fee
Keywords:	verification, pointers, tree automata, abstraction, refinement
The tool allows verification of programs which manipulate complex dynamic data structures.
Location:
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/
Research groups:
Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)
Departments:
Department of Intelligent Systems FIT BUT (DITS)
Licence terms:
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

You are in section