Clánek v casopise

 
Dudka, K., Peringer, P., Vojnar, T.: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, In: Lecture Notes in Computer Science, roc. 2011, c. 6806, DE, s. 372-378, ISSN 0302-9743
Jazyk publikace:anglictina
Název publikace:Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
Název (cs):Predator: Nástroj pro overování manipulace s dynamickými datovými strukturami zalozený na separacní logice
Strany:372-378
Místo vydání:DE
Rok:2011
Casopis:Lecture Notes in Computer Science, roc. 2011, c. 6806, DE
ISSN:0302-9743
URL:http://www.springerlink.com/content/0348r4140k031426/ [HTML]
Klícová slova
separation logic, shape analysis, dynamic linked data structures, pointers, linked lists, tool support, formal verification, Linux lists
Anotace
Publikace popisuje Predator -- nový nástroj pro overování manipulace s dynamickými datovými strukturami zalozený na separacní logice.
BibTeX:
@ARTICLE{
   author = {Kamil Dudka and Petr Peringer and Tomá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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9524}
}