Symbiotic 4: Beyond Reachability (Competition Contribution)

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři

CHALUPA Marek VITOVSKÁ Martina JONÁŠ Martin SLABÝ Jiří STREJČEK Jan

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
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: