Detail publikace

A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In Proceedings of APLAS'20. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2020. p. 343-363. ISSN: 0302-9743.
Název česky
Symbolický algoritmus pro pravidlo "Case-Split" při řešení omezení nad řetězci
Typ
článek ve sborníku konference
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

řešení omezení s řetězci regulární model checking Nielsenova transformace symbolické kódování

Abstrakt

Článek popisuje způsob, jak lze symbolicky kódovat Nielsonovu transformaci pro řešení omezení nad řetězci.

Rok
2020
Strany
343–363
Časopis
Lecture Notes in Computer Science, č. 12470, ISSN 0302-9743
Sborník
Proceedings of APLAS'20
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-030-64437-6_18
UT WoS
000916297300018
EID Scopus
2-s2.0-85097646806
BibTeX 
@inproceedings{BUT168141,
  author="HAVLENA, V. and LENGÁL, O. and CHEN, Y. and TURRINI, A.",
  title="A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving",
  booktitle="Proceedings of APLAS'20",
  year="2020",
  journal="Lecture Notes in Computer Science",
  number="12470",
  pages="343--363",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-030-64437-6\{_}18",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/12347/"
}
Nahoru