Detail publikace
A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report)
HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023.
Název česky
Symbolický algoritmus pro případové pravidlo v řešení omezení nad slovy s rozšířeními (technická zpráva)
Typ
technická zpráva
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Turrini Andrea (UCAS)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Turrini Andrea (UCAS)
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, US
DOI
BibTeX
@TECHREPORT{FITPUB12978, author = "Vojt\v{e}ch Havlena and Yu-Fang Chen and Ond\v{r}ej Leng\'{a}l and Andrea Turrini", title = "A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report)", pages = 45, year = 2023, location = "Ithaca, US", publisher = "Cornell University Library", doi = "10.48550/arXiv.2303.01142", language = "english", url = "https://www.fit.vut.cz/research/publication/12978" }