Symbiotic 4: Beyond Reachability (Competition Contribution)

• Autoři: CHALUPA Marek; VITOVSKÁ Martina; JONÁŠ Martin; SLABÝ Jiří; STREJČEK Jan
• Rok publikování: 2017
• Druh: Článek ve sborníku
• Konference: Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference
• Fakulta / Pracoviště MU: Fakulta informatiky
• Citace: CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ a Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. 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.
• www: https://link.springer.com/chapter/10.1007/978-3-662-54580-5_28
• Doi: http://dx.doi.org/10.1007/978-3-662-54580-5_28
• Obor: Informatika
• Klíčová slova: Symbiotic; program analysis; program verification; SV-COMP 2017
• Popis: 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.

Související projekty

• Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI.
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity