Symbiotic 4: Beyond Reachability (Competition Contribution)

Varování

Publikace nespadá pod Ekonomicko-správní 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
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
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