Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1649136, author = {Chalupa, Marek and Jašek, Tomáš and Tomovič, Lukáš and Hruška, Martin and Šoková, Veronika and Ayaziová, Paulína and Strejček, Jan and Vojnar, Tomáš}, address = {Německo}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, doi = {http://dx.doi.org/10.1007/978-3-030-45237-7_31}, editor = {Armin Biere, David Parker}, keywords = {Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Německo}, isbn = {978-3-030-45236-0}, pages = {413-417}, publisher = {Springer}, title = {Symbiotic 7: Integration of Predator and More (Competition Contribution)}, url = {https://doi.org/10.1007/978-3-030-45237-7_31}, year = {2020} }
TY - JOUR ID - 1649136 AU - Chalupa, Marek - Jašek, Tomáš - Tomovič, Lukáš - Hruška, Martin - Šoková, Veronika - Ayaziová, Paulína - Strejček, Jan - Vojnar, Tomáš PY - 2020 TI - Symbiotic 7: Integration of Predator and More (Competition Contribution) PB - Springer CY - Německo SN - 9783030452360 KW - Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution UR - https://doi.org/10.1007/978-3-030-45237-7_31 L2 - https://doi.org/10.1007/978-3-030-45237-7_31 N2 - Symbiotic 7 brings improvements in all parts of the tool. In particular, we integrated the advanced shape analysis implemented in Predator to our instrumentation process for memory safety checking. Further, we extended our slicer to correctly handle non-terminating programs. This new slicing is applied in termination analysis, where we also added instrumentation for detection of simple cycles in the program state space. The witness generation process changed as well. ER -
CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK a Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. \textit{Tools and Algorithms for the Construction and Analysis of Systems}. Německo: Springer, 2020, s.~413-417. ISBN~978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7\_{}31.
|