Detail publikace

Trau: SMT solver for string constraints

ABDULLA, P.; ATIG, M.; CHEN, Y.; BUI PHI, D.; HOLÍK, L.; REZINE, A.; RUMMER, P. Trau: SMT solver for string constraints. In Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019. p. 165-169. ISBN: 978-0-9835678-8-2.
Název česky
Trau: řešič řetězcových omezení
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abdulla Parosh
Atig Mohamed (FIT)
Chen Yu-Fang
Bui Phi Diep (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Rezine Ahmed, Assoc. Prof.
Rummer Philipp
URL
Klíčová slova

security, web applications, string constraint, automata, flat languages, abstraction, over-under approximation

Abstrakt

Prezentuje nástroj pro řešení omezení nad řetězci. Nástroj podporuje bohatý vstupní jazyk řetězcových omezení a je efektivnější než jiné současné nástroje.

Rok
2019
Strany
165–169
Sborník
Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design
ISBN
978-0-9835678-8-2
Vydavatel
FMCAD Inc.
Místo
Austin
DOI
10.23919/FMCAD.2018.8602997
UT WoS
000493916300025
EID Scopus
2-s2.0-85061671269
BibTeX 
@inproceedings{BUT155122,
  author="Parosh {Abdulla} and Mohamed {Atig} and Yu-Fang {Chen} and Diep {Bui Phi} and Lukáš {Holík} and Ahmed {Rezine} and Philipp {Rummer}",
  title="Trau: SMT solver for string constraints",
  booktitle="Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design",
  year="2019",
  pages="165--169",
  publisher="FMCAD Inc.",
  address="Austin",
  doi="10.23919/FMCAD.2018.8602997",
  isbn="978-0-9835678-8-2",
  url="https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/fmcad2018_proceedings.pdf"
}
Nahoru