Detail publikace

Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution)

DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science Volume 7795, roč. 2013. Berlin: Springer Verlag, 2013, s. 627-629. ISBN 978-3-642-36742-7. ISSN 0302-9743.
Název česky
Predator: Nástroj pro verifikaci nízkoúrovňové manipulace seznamů (soutěžní příspěvek)
Typ
článek ve sborníku konference
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 C programů, které pracují s ukazateli a vázanými seznamy. Základní algoritmy nástroje Predator byly původně inspirovány pracemi založenými na separační logice se seznamovými predikáty vyššího řádu, ale teď jsou založené výhradně na grafech a značně rozšířené o podporu různých podob nízkoúrovňové práce s pamětí používané v systémovém kódu. Tento článek stručně uvádí nástroj Predator a popisuje jeho účast v mezinárodní soutěži SV-COMP'13 pořádané na konferenci TACAS'13.

Rok
2013
Strany
627-629
Časopis
Lecture Notes in Computer Science, roč. 2013, č. 7795, ISSN 0302-9743
Sborník
Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science Volume 7795
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'13 (TACAS'13), Řím, IT
ISBN
978-3-642-36742-7
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX 
@INPROCEEDINGS{FITPUB10253,
   author = "Kamil Dudka and Petr M{\"{u}}ller and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution)",
   pages = "627--629",
   booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
   series = "Lecture Notes in Computer Science Volume 7795",
   journal = "Lecture Notes in Computer Science",
   volume = 2013,
   number = 7795,
   year = 2013,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-36742-7",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10253"
}
Nahoru