Publication detail

Verification of String Programs via Automata

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

Original Title

Verification of String Programs via Automata

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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.

Keywords

string solving, automaton, model checking, formal verification

Authors

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

Released

28. 11. 2019

Publisher

Mendel University in Brno

Location

Brno

ISBN

978-80-7509-692-0

Book

PEFnet 2019 Extended Abstracts

Pages from

155

Pages to

156

Pages count

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"
}