Forester: From Heap Shapes to Automata Predicates

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU123249" target="_blank" >RIV/00216305:26230/17:PU123249 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.fit.vut.cz/research/publication/11414/" target="_blank" >https://www.fit.vut.cz/research/publication/11414/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-54580-5_24" target="_blank" >10.1007/978-3-662-54580-5_24</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Forester: From Heap Shapes to Automata Predicates
Popis výsledku v původním jazyce
This paper describes the participation of Forester in the SV-COMP 2017 competition on software verification. We briefly present the verification procedure used by Forester, the architecture of Forester, and changes in Forester done since the previous year of SV-COMP, in particular the fully-automatically refinable abstraction for hierarchical forest automata.
Název v anglickém jazyce
Forester: From Heap Shapes to Automata Predicates
Popis výsledku anglicky
This paper describes the participation of Forester in the SV-COMP 2017 competition on software verification. We briefly present the verification procedure used by Forester, the architecture of Forester, and changes in Forester done since the previous year of SV-COMP, in particular the fully-automatically refinable abstraction for hierarchical forest automata.

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)

Rok uplatnění
2017
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ů

Podobné výsledky(10)