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. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6806, p. 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
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
372–378
Časopis
Lecture Notes in Computer Science, roč. 2011, č. 6806, ISSN 0302-9743
BibTeX 
@article{BUT76288,
  author="Kamil {Dudka} and Petr {Peringer} and Tomáš {Vojnar}",
  title="Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic",
  journal="Lecture Notes in Computer Science",
  year="2011",
  volume="2011",
  number="6806",
  pages="372--378",
  issn="0302-9743",
  url="http://www.springerlink.com/content/0348r4140k031426/"
}
Nahoru