Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1392166,
author = {Chalupa, Marek and Vitovská, Martina and Jonáš, Martin and Slabý, Jiří and Strejček, Jan},
address = {Berlin},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference},
doi = {http://dx.doi.org/10.1007/978-3-662-54580-5_28},
editor = {Axel Legay, Tiziana Margaria},
keywords = {Symbiotic; program analysis; program verification; SV-COMP 2017},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin},
isbn = {978-3-662-54580-5},
pages = {385-389},
publisher = {Springer Berlin Heidelberg},
title = {Symbiotic 4: Beyond Reachability (Competition Contribution)},
url = {https://link.springer.com/chapter/10.1007/978-3-662-54580-5_28},
year = {2017}
}
TY - JOUR
ID - 1392166
AU - Chalupa, Marek - Vitovská, Martina - Jonáš, Martin - Slabý, Jiří - Strejček, Jan
PY - 2017
TI - Symbiotic 4: Beyond Reachability (Competition Contribution)
PB - Springer Berlin Heidelberg
CY - Berlin
SN - 9783662545805
KW - Symbiotic
KW - program analysis
KW - program verification
KW - SV-COMP 2017
UR - https://link.springer.com/chapter/10.1007/978-3-662-54580-5_28
N2 - The fourth version of Symbiotic brings a brand new instrumentation part, which can now instrument the analyzed program with code pieces checking various specification properties. As a consequence, Symbiotic 4 participates for the first time also in categories focused on memory safety. Further, we have ported both Symbiotic and Klee to LLVM 3.8 and added new features to the slicer which is now modular and easily extensible.
ER -
CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ a Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. \textit{Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference}. Berlin: Springer Berlin Heidelberg, 2017, s.~385-389. ISBN~978-3-662-54580-5. Dostupné z: https://dx.doi.org/10.1007/978-3-662-54580-5\_{}28.
|
