Detail publikace

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution)

DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution). Lecture Notes in Computer Science, roč. 2012, č. 7214, s. 544-547. ISSN 0302-9743.
Název česky
Predator: Nástroj pro verifikaci programů s dynamickými datovými strukturami
Typ
článek v časopise
Jazyk
angličtina
Autoři
Dudka Kamil, Ing. (UITS FIT VUT)
Müller Petr, Ing. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Predator je nástroj pro automatickou formální verifikaci sekvenčních programů v jazyce C s dynamickými datovými strukturami. Tento nástroj je založený na principech separační logiky, ale používá grafovou reprezentaci hromady. V tomto článku je stručně představen nástroj Predator a dále jsou popsány zkušenosti z jeho účastí na soutěži Competition on Software Verification, která je pořádána ve spojení s konferencí TACAS'12.

Rok
2012
Strany
544-547
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 7214, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX 
@ARTICLE{FITPUB9845,
   author = "Kamil Dudka and Petr M{\"{u}}ller and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution)",
   pages = "544--547",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 7214,
   year = 2012,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9845"
}
Nahoru