Detail publikace

Predator Hunting Party (Competition Contribution)

MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator Hunting Party (Competition Contribution). In: Proceedings of TACAS'15. Lecture Notes in Computer Science, roč. 9035. Heidelberg: Springer Verlag, 2015, s. 443-446. ISBN 978-3-662-46680-3. Dostupné z: http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_40
Název česky
Lovecká párty Predátorů (soutěžní příspěvek)
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
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

Článek popisuje nástroj PredatorHP (Predator Hunting Party), který je kombinací neomezených i různým způsobem omezených variant nástroje Predator, a jeho účast v soutěži SV-COMP'15. Neomezený nástroj Predator přitom slouží k formální verifikaci a jeho omezené varianty k rychlému vyhledávání chyb.

Rok
2015
Strany
443-446
Sborník
Proceedings of TACAS'15
Řada
Lecture Notes in Computer Science
Svazek
9035
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'15 (TACAS'15), London, GB
ISBN
978-3-662-46680-3
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
10.1007/978-3-662-46681-0_40
EID Scopus
2-s2.0-84926619636
BibTeX 
@INPROCEEDINGS{FITPUB10920,
   author = "Petr M{\"{u}}ller and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "Predator Hunting Party (Competition Contribution)",
   pages = "443--446",
   booktitle = "Proceedings of TACAS'15",
   series = "Lecture Notes in Computer Science",
   volume = 9035,
   year = 2015,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-46680-3",
   doi = "10.1007/978-3-662-46681-0\_40",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10920"
}
Nahoru