Technická zpráva

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.
Jazyk publikace:angličtina
Název publikace:Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
Název (cs):Predator: Nástroj pro ověřování manipulace s dynamickými datovými strukturami založený na separační logice
Strany:23
Místo vydání:FIT-TR-2011-02, Brno, CZ
Rok:2011
Vydavatel:Fakulta informačních technologií VUT v Brně
URL:http://www.fit.vutbr.cz/research/groups/verifit/tools/predator/FIT-TR-2011-02.pdf [HTML]
Klíčová 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 ověřování manipulace s dynamickými datovými strukturami založený na separační logice.
BibTeX:
@TECHREPORT{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=9723}
}

Vaše IPv4 adresa: 54.167.196.208
Přepnout na IPv6 spojení

DNSSEC [dnssec]