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/

Possibilities of use

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www