Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1649136,
author = {Chalupa, Marek and Jašek, Tomáš and Tomovič, Lukáš and Hruška, Martin and Šoková, Veronika and Ayaziová, Paulína and Strejček, Jan and Vojnar, Tomáš},
address = {Německo},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
doi = {http://dx.doi.org/10.1007/978-3-030-45237-7_31},
editor = {Armin Biere, David Parker},
keywords = {Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Německo},
isbn = {978-3-030-45236-0},
pages = {413-417},
publisher = {Springer},
title = {Symbiotic 7: Integration of Predator and More (Competition Contribution)},
url = {https://doi.org/10.1007/978-3-030-45237-7_31},
year = {2020}
}
TY - JOUR
ID - 1649136
AU - Chalupa, Marek - Jašek, Tomáš - Tomovič, Lukáš - Hruška, Martin - Šoková, Veronika - Ayaziová, Paulína - Strejček, Jan - Vojnar, Tomáš
PY - 2020
TI - Symbiotic 7: Integration of Predator and More (Competition Contribution)
PB - Springer
CY - Německo
SN - 9783030452360
KW - Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
UR - https://doi.org/10.1007/978-3-030-45237-7_31
L2 - https://doi.org/10.1007/978-3-030-45237-7_31
N2 - Symbiotic 7 brings improvements in all parts of the tool. In particular, we integrated the advanced shape analysis implemented in Predator to our instrumentation process for memory safety checking. Further, we extended our slicer to correctly handle non-terminating programs. This new slicing is applied in termination analysis, where we also added instrumentation for detection of simple cycles in the program state space. The witness generation process changed as well.
ER -
CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK and Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. \textit{Tools and Algorithms for the Construction and Analysis of Systems}. Německo: Springer. p.~413-417. ISBN~978-3-030-45236-0. doi:10.1007/978-3-030-45237-7\_{}31. 2020.
|
