Symbiotic 4: Beyond Reachability (Competition Contribution)

D 2017

Symbiotic 4: Beyond Reachability (Competition Contribution)

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

Základní údaje

Originální název

Symbiotic 4: Beyond Reachability (Competition Contribution)

Autoři

CHALUPA, Marek (203 Česká republika, domácí), Martina VITOVSKÁ (203 Česká republika, domácí), Martin JONÁŠ (203 Česká republika, domácí), Jiří SLABÝ (203 Česká republika, domácí) a Jan STREJČEK (203 Česká republika, garant, domácí)

Vydání

Berlin, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, od s. 385-389, 5 s. 2017

Nakladatel

Springer Berlin Heidelberg

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/17:00095057

Organizační jednotka

Fakulta informatiky

ISBN

978-3-662-54580-5

ISSN

DOI

http://dx.doi.org/10.1007/978-3-662-54580-5_28

UT WoS

000440733400028

Klíčová slova anglicky

Symbiotic; program analysis; program verification; SV-COMP 2017

Štítky

formela-conference, Symbiotic

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 13. 5. 2020 19:22, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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.

Návaznosti

GA15-17564S, projekt VaV

Název: Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů

Investor: Grantová agentura ČR, Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů

MUNI/A/0897/2016, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI.

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

MUNI/A/0992/2016, interní kód MU

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU)

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

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.

@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Ý a 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, s.~385-389. ISBN~978-3-662-54580-5. Dostupné z: https://dx.doi.org/10.1007/978-3-662-54580-5\_{}28.

Podrobný výpis o publikaci