Detail publikace

Z3-Noodler: An Automata-based String Solver

HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Z3-Noodler: An Automata-based String Solver. In: Proceedings of TACAS'24. Lecture Notes. Luxembourgh: Springer Verlag, 2024, s. 24-33. ISSN 0302-9743. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-031-57246-3_2
Název česky
Z3-Noodler: Řetězcový řešič založený na automatech
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Chocholatý David, Ing. (FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
URL
Abstrakt

Tento článek přináší nástroj Z3-Noodler, řetězcový řešič založený na automatech, odvozený z nástroje Z3. 

Rok
2024
Strany
24-33
Časopis
Lecture Notes in Computer Science, č. 14570, ISSN 0302-9743
Sborník
Proceedings of TACAS'24
Řada
Lecture Notes
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'24 (TACAS'24), Centre for Security, Reliability and Trust (SnT), University of Luxembourg., LU
Vydavatel
Springer Verlag
Místo
Luxembourgh, LU
DOI
10.1007/978-3-031-57246-3_2
BibTeX 
@INPROCEEDINGS{FITPUB13193,
   author = "Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Yu-Fang Chen and David Chocholat\'{y} and Ond\v{r}ej Leng\'{a}l and Juraj S\'{i}\v{c}",
   title = "Z3-Noodler: An Automata-based String Solver",
   pages = "24--33",
   booktitle = "Proceedings of TACAS'24",
   series = "Lecture Notes",
   journal = "Lecture Notes in Computer Science",
   number = 14570,
   year = 2024,
   location = "Luxembourgh, LU",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-031-57246-3\_2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13193"
}
Nahoru