Detail publikace

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic

DUDKA, K.; PERINGER, P.; VOJNAR, T. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. FIT-TR-2011-02, Brno: Faculty of Information Technology BUT, 2011. p. 0-0.
Název česky
Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Dudka Kamil, Ing.
Peringer Petr, Dr. Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

separation logic, shape analysis, dynamic linked data structures, pointers, linked lists, tool support, formal verification, Linux lists

Abstrakt

Publikace popisuje Predator -- nový nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice.

Rok
2011
Strany
23
Vydavatel
Faculty of Information Technology BUT
Místo
FIT-TR-2011-02, Brno
BibTeX 
@techreport{BUT192766,
  author="Kamil {Dudka} and Petr {Peringer} and Tomáš {Vojnar}",
  title="Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic",
  year="2011",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2011-02, Brno",
  pages="23",
  url="http://www.fit.vutbr.cz/research/groups/verifit/tools/predator/FIT-TR-2011-02.pdf"
}
Nahoru