Product detail

Forester: A Tool for Verification of Programs with Pointers

ŠIMÁČEK, J. HOLÍK, L. ROGALEWICZ, A. VOJNAR, T. HABERMEHL, P.

Product type

software

Abstract

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

Keywords

verification, pointers, tree automata, abstraction, refinement

Create date

14.12.2010

Location

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/forester/

www

Documents