Detail publikace

A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report)

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. p. 0-0.
Název česky
Symbolický algoritmus pro případové pravidlo v řešení omezení nad slovy s rozšířeními (technická zpráva)
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
TURRINI, A.
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
45
Vydavatel
Cornell University Library
Místo
Ithaca
DOI
10.48550/arXiv.2303.01142
BibTeX 
@techreport{BUT185158,
  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 (technical report)",
  year="2023",
  publisher="Cornell University Library",
  address="Ithaca",
  pages="45",
  doi="10.48550/arXiv.2303.01142"
}
Nahoru