Towards Efficient Shape Analysis with Tree Automata

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F21%3APU143336" target="_blank" >RIV/00216305:26230/21:PU143336 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.fit.vut.cz/research/publication/12668/" target="_blank" >https://www.fit.vut.cz/research/publication/12668/</a>

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Towards Efficient Shape Analysis with Tree Automata

Popis výsledku v původním jazyce

We discuss our proposal of a formalism for representing classes of graphs based on tree automata. We aim at a formalism and an entailment algorithm that could be used in verification of pointer programs, that would be efficient, have well defined completeness guarantees, and be general. We believe that building the formalism on top of tree automata will make it possible to use existing advanced tree automata implementation techniques. We sketch the basic ideas behind the formalism and an entailment decision procedure, and outline some related research challenges.

Název v anglickém jazyce

Towards Efficient Shape Analysis with Tree Automata

Popis výsledku anglicky

We discuss our proposal of a formalism for representing classes of graphs based on tree automata. We aim at a formalism and an entailment algorithm that could be used in verification of pointer programs, that would be efficient, have well defined completeness guarantees, and be general. We believe that building the formalism on top of tree automata will make it possible to use existing advanced tree automata implementation techniques. We sketch the basic ideas behind the formalism and an entailment decision procedure, and outline some related research challenges.

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

<a href="/cs/project/GA19-24397S" target="_blank" >GA19-24397S: Automaty v rozhodovacích procedurách a verifikaci</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2021

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

Proceedings International Conference on Networked Systems

ISBN

—

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

9

Strana od-do

206-214

Název nakladatele

Springer Verlag

Místo vydání

Cham

Místo konání akce

Virtual Conference

Datum konání akce

19. 5. 2021

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

WRD - Celosvětová akce

Kód UT WoS článku

000891773700014