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. Lecture Notes in Computer Science, roč. 2011, č. 6806, s. 372-378. ISSN 0302-9743.
Název česky
Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice
Typ
článek v časopise
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
372-378
Časopis
Lecture Notes in Computer Science, roč. 2011, č. 6806, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX 
@ARTICLE{FITPUB9524,
   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 = "372--378",
   journal = "Lecture Notes in Computer Science",
   volume = 2011,
   number = 6806,
   year = 2011,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9524"
}
Nahoru