Detail publikace

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

DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. FIT-TR-2011-02, Brno: Fakulta informačních technologií VUT v Brně, 2011.
Název česky
Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice
Typ
technická zpráva
Jazyk
angličtina
Autoři
Dudka Kamil, Ing. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Fakulta informačních technologií VUT v Brně
Místo
FIT-TR-2011-02, Brno, CZ
BibTeX
@TECHREPORT{FITPUB9723,
   author = "Kamil Dudka and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic",
   pages = 23,
   year = 2011,
   location = "FIT-TR-2011-02, Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9723"
}
Nahoru