Detail produktu

Forester: A Tool for Verification of Programs with Pointers

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

Typ produktu

software

Abstrakt

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

Klíčová slova

verification, pointers, tree automata, abstraction, refinement

Datum vzniku

14. 12. 2010

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í

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

Licenční poplatek

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

www