Detail publikace

Verification of String Programs via Automata

VARGOVČÍK, P. HOLÍK, L.

Originální název

Verification of String Programs via Automata

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

Modern implementations of web servers are densely interlaced with string manipulations and their control flow depends heavily on values of string variables.The cost of a software bug is rapidly raising, which yields the need of investigation on new techniques for static analysis of string programs. Recently, string solving-reasoning about constraints over string variables-has shown a great potential to facilitate automated reasoning about such programs (finding bugs, test generation, automatic repair, etc.). Despite the theoretical undecidability of string solving, the works from Holík et al. (2017) and Scott and Sherman (2014) have shown the potential of methods based on finite automata in deciding practical subclasses of the problem. Our work focuses on improving performance of model checking of finite automata, scaling the applications of automata-based string solving while also contributing to other fields of formal verification and synthesis that benefit from the automata theory.

Klíčová slova

string solving, automaton, model checking, formal verification

Autoři

VARGOVČÍK, P.; HOLÍK, L.

Vydáno

28. 11. 2019

Nakladatel

Mendel University in Brno

Místo

Brno

ISBN

978-80-7509-692-0

Kniha

PEFnet 2019 Extended Abstracts

Strany od

155

Strany do

156

Strany počet

2

URL

https://pefnet.mendelu.cz/wcd/w-rek-pefnet/pefnet19-extended_abstracts_web.pdf

BibTex

@inproceedings{BUT162446,
  author="Pavol {Vargovčík} and Lukáš {Holík}",
  title="Verification of String Programs via Automata",
  booktitle="PEFnet 2019 Extended Abstracts",
  year="2019",
  pages="155--156",
  publisher="Mendel University in Brno",
  address="Brno",
  isbn="978-80-7509-692-0",
  url="https://pefnet.mendelu.cz/wcd/w-rek-pefnet/pefnet19-extended_abstracts_web.pdf"
}