Detail publikačního výsledku

Towards Efficient Shape Analysis with Tree Automata

HOLÍK, L.; HRUŠKA, M.

Originální název

Towards Efficient Shape Analysis with Tree Automata

Anglický název

Towards Efficient Shape Analysis with Tree Automata

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Formal verification, shape analysis, tree automata

Klíčová slova v angličtině

Formal verification, shape analysis, tree automata

Autoři

HOLÍK, L.; HRUŠKA, M.

Rok RIV

2022

Vydáno

02.12.2021

Nakladatel

Springer Verlag

Místo

Cham

Kniha

Proceedings International Conference on Networked Systems

Edice

Lecture notes in Computer Science

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Číslo

12754

Stát

Spolková republika Německo

Strany od

206

Strany do

214

Strany počet

9

BibTex

@inproceedings{BUT176373,
  author="Lukáš {Holík} and Martin {Hruška}",
  title="Towards Efficient Shape Analysis with Tree Automata",
  booktitle="Proceedings International Conference on Networked Systems",
  year="2021",
  series="Lecture notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  number="12754",
  pages="206--214",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-030-91014-3\{_}14",
  issn="0302-9743"
}