![View this Page](/schemes/simple/viewie.gif)
![Edit this Page](/schemes/simple/edit.gif)
![Uploads to this Page](/schemes/simple/upload.gif)
![History of this Page](/schemes/simple/history.gif)
![Top of the Swiki](/schemes/simple/top.gif)
![Recent Changes](/schemes/simple/recent.gif)
![Search the Swiki](/schemes/simple/search.gif)
Pavel Erlebach: Verifikace založená na vzorech rozšířená na stromové struktury
Abstrakt: V oblasti verifikace programů pracujících s ukazateli existuje několik metod méně či více automatických, efektivních a obecných. Verifikace založená na vzorech je jedna z nejvíce automatických metod, kde je od uživatele požadován pouze program a množina vstupních struktur nebo konstruktor (a případně výstupní podmínka), čili naprosté minimum, co se dá od uživatele očekávat. I přesto se tato metoda ukázala celkem efektivní v porovnání s ostatními nástroji. Donedávna však fungovala pouze pro rozšířené lineární struktury. Předmětem prezentace bude rozšíření její aplikovatelnosti na stromové struktury.
Link to this Page