Detail publikace

Z3-Noodler: An Automata-based String Solver

HAVLENA, V.; CHOCHOLATÝ, D.; SÍČ, J.; HOLÍK, L.; LENGÁL, O.; CHEN, Y. Z3-Noodler: An Automata-based String Solver. Proceedings of TACAS'24. Lecture Notes in Computer Science. Lecture Notes. Luxembourgh: Springer Verlag, 2024. p. 24-33. ISSN: 0302-9743.
Název česky
Z3-Noodler: Řetězcový řešič založený na automatech
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Chocholatý David, Ing. (UITS)
Síč Juraj, Mgr. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
URL
Klíčová slova

String solving, finite automata, SMT solving

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
DOI
10.1007/978-3-031-57246-3_2
BibTeX 
@inproceedings{BUT188550,
  author="Vojtěch {Havlena} and David {Chocholatý} and Juraj {Síč} and Lukáš {Holík} and Ondřej {Lengál} and Yu-Fang {Chen}",
  title="Z3-Noodler: An Automata-based String Solver",
  booktitle="Proceedings of TACAS'24",
  year="2024",
  series="Lecture Notes",
  journal="Lecture Notes in Computer Science",
  number="14570",
  pages="24--33",
  publisher="Springer Verlag",
  address="Luxembourgh",
  doi="10.1007/978-3-031-57246-3\{_}2",
  issn="0302-9743",
  url="https://link.springer.com/chapter/10.1007/978-3-031-57246-3_2"
}
Nahoru