Detail aplikovaného výsledku

Forester: A Tool for Verification of Programs with Pointers

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

Originální název

Anglický název

Forester: A Tool for Verification of Programs with Pointers

Druh

Software

Abstrakt

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

Abstrakt aglicky

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

Klíčová slova

verification, pointers, tree automata, abstraction, refinement

Klíčová slova anglicky

verification, pointers, tree automata, abstraction, refinement

Umístění

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

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

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

www

VUT