Symbiotic 7: Integration of Predator and More (Competition Contribution)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00114113" target="_blank" >RIV/00216224:14330/20:00114113 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216305:26230/20:PU135724

Výsledek na webu

<a href="https://doi.org/10.1007/978-3-030-45237-7_31" target="_blank" >https://doi.org/10.1007/978-3-030-45237-7_31</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-45237-7_31" target="_blank" >10.1007/978-3-030-45237-7_31</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Symbiotic 7: Integration of Predator and More (Competition Contribution)

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Symbiotic 7: Integration of Predator and More (Competition Contribution)

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Tools and Algorithms for the Construction and Analysis of Systems

ISBN

9783030452360

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

5

Strana od-do

413-417

Název nakladatele

Springer

Místo vydání

Německo

Místo konání akce

Německo

Datum konání akce

1. 1. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—