Detail produktu
ARTMC - Abstract Regular Tree Model Checking
ROGALEWICZ, A. VOJNAR, T.
Typ produktu
software
Abstrakt
The ARTMC tool is a prototype implementation of the technique for verification of programs manipulating dynamic data structures. It is based on the generic model-checking technique "Abstract regular tree model checking".
Klíčová slova
Formal verification, shape analysis
Datum vzniku
01.12.2007
Umístění
http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/
Možnosti využití
Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www
Dokumenty