Detail publikace

Symbiotic 7: Integration of Predator and More (Competition Contribution)

AYAZIOVÁ Paulína, HRUŠKA Martin, CHALUPA Marek, JAŠEK Tomáš, STREJČEK Jan, ŠOKOVÁ Veronika, TOMOVIČ Lukáš a VOJNAR Tomáš. Symbiotic 7: Integration of Predator and More (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, roč. 12079. Cham: Springer International Publishing, 2020, s. 413-417. ISBN 978-3-030-45236-0.
Název česky
Symbiotic 7: Integrace nástroje Predator a více (příspěvek do soutěže)
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ayaziová Paulína (FI MUNI)
Hruška Martin, Ing. (UITS FIT VUT)
Chalupa Marek, RNDr. (FI MUNI)
Jašek Tomáš, Bc. (FI MUNI)
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI)
Šoková Veronika, Ing. (UITS FIT VUT)
Tomovič Lukáš, Mgr. (FI MUNI)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Symbiotic 7 přináší vylepšení ve všech částech nástroje. Zejména jsme integrovali pokročilé analýzy tvarů, implementované v nástroji Predator, do našeho procesu instrumentace. Dále jsme rozšířili náš prorezávač, aby správně zpracovával neterminující programy. Toto nové krájení je aplikováno v terminačních analýzách, kde jsme také přidali instrumentaci pro detekci jednoduchých cyklů ve stavovém prostoru programu.

Rok
2020
Strany
413-417
Sborník
Proceedings of TACAS 2020 (2)
Řada
Lecture Notes in Computer Science
Svazek
12079
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'20 (TACAS'20), Dublin, IE
ISBN
978-3-030-45236-0
Vydavatel
Springer International Publishing
Místo
Cham, CH
DOI
10.1007/978-3-030-45237-7_31
EID Scopus
2-s2.0-85083971923
BibTeX 
@INPROCEEDINGS{FITPUB12199,
   author = "Paul\'{i}na Ayaziov\'{a} and Martin Hru\v{s}ka and Marek Chalupa and Tom\'{a}\v{s} Ja\v{s}ek and Jan Strej\v{c}ek and Veronika \v{S}okov\'{a} and Luk\'{a}\v{s} Tomovi\v{c} and Tom\'{a}\v{s} Vojnar",
   title = "Symbiotic 7: Integration of Predator and More (Competition Contribution)",
   pages = "413--417",
   booktitle = "Proceedings of TACAS 2020 (2)",
   series = "Lecture Notes in Computer Science",
   volume = 12079,
   year = 2020,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-45236-0",
   doi = "10.1007/978-3-030-45237-7\_31",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12199"
}
Nahoru