Detail publikace

A symbolic algorithm for the case-split rule in solving word constraints with extensions

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions. JOURNAL OF SYSTEMS AND SOFTWARE, 2023, vol. 201, no. 201, p. 111673-111693. ISSN: 0164-1212.
Název česky
Symbolický algoritmus pro případové pravidlo v řešení omezení nad slovy s rozšířeními
Typ
článek v časopise
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
TURRINI, A.
URL
Klíčová slova

string constraints, satisfiability modulo theories, regular model checking, Nielsen transformation, finite automata, monadic second-order logic over strings

Abstrakt

Článek se zabývá kódováním Nielsenova algoritmu pro řešení rovnic na slovy s rozšířeními do rámce regulárního model checkingu.

Rok
2023
Strany
111673–111693
Časopis
JOURNAL OF SYSTEMS AND SOFTWARE, roč. 201, č. 201, ISSN 0164-1212
DOI
10.1016/j.jss.2023.111673
UT WoS
000965770000001
EID Scopus
2-s2.0-85150809916
BibTeX 
@article{BUT185153,
  author="HAVLENA, V. and LENGÁL, O. and CHEN, Y. and TURRINI, A.",
  title="A symbolic algorithm for the case-split rule in solving word constraints with extensions",
  journal="JOURNAL OF SYSTEMS AND SOFTWARE",
  year="2023",
  volume="201",
  number="201",
  pages="111673--111693",
  doi="10.1016/j.jss.2023.111673",
  issn="0164-1212",
  url="http://dx.doi.org/10.1016/j.jss.2023.111673"
}
Nahoru