Other formats:
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Ý and 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, p.~385-389. ISBN~978-3-662-54580-5. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5\_{}28.
|