Applied result detail

Forester: A Tool for Verification of Programs with Pointers

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

Original Title

English Title

Forester: A Tool for Verification of Programs with Pointers

Type

Software

Abstract

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

Abstract in English

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

Keywords

verification, pointers, tree automata, abstraction, refinement

Key words in English

verification, pointers, tree automata, abstraction, refinement

Location

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

Possibilities of use

only the provider uses the result

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

VUT