Detail publikace

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

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. Journal of Systems and Software, roč. 201, č. 201, 2023, s. 111673-111693. ISSN 0164-1212. Dostupné z: http://dx.doi.org/10.1016/j.jss.2023.111673
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
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)
URL
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
Vydavatel
Elsevier Science
DOI
10.1016/j.jss.2023.111673
UT WoS
000965770000001
EID Scopus
2-s2.0-85150809916
BibTeX 
@ARTICLE{FITPUB12977,
   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",
   pages = "111673--111693",
   journal = "Journal of Systems and Software",
   volume = 201,
   number = 201,
   year = 2023,
   ISSN = "0164-1212",
   doi = "10.1016/j.jss.2023.111673",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12977"
}
Nahoru