Článek ve sborníku konference

ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed a RUMMER Philipp. Trau: SMT solver for string constraints. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019, s. 1-5. ISBN 978-0-9835678-8-2. Dostupné z: https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/fmcad2018_proceedings.pdf
Jazyk publikace:angličtina
Název publikace:Trau: SMT solver for string constraints
Název (cs):Trau: řešič řetězcových omezení
Strany:1-5
Sborník:Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design
Konference:Formal Methods in Computer-Aided Design
Místo vydání:Austin, US
Rok:2019
URL:https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/fmcad2018_proceedings.pdf
ISBN:978-0-9835678-8-2
DOI:10.23919/FMCAD.2018.8602997
Vydavatel:FMCAD Inc.
Klíčová slova
security, web applications, string constraint, automata, flat languages, abstraction, over-under approximation
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   author = {A. Parosh Abdulla and F. Mohamed Atig and Diep Phi
	Bui and Luk{\'{a}}{\v{s}} Hol{\'{i}}k and Yu-Fang
	Chen and Ahmed Rezine and Philipp Rummer},
   title = {Trau: SMT solver for string constraints},
   pages = {1--5},
   booktitle = {Proceedings of the 18th Conference on Formal Methods in
	Computer-Aided Design},
   year = {2019},
   location = {Austin, US},
   publisher = {FMCAD Inc.},
   ISBN = {978-0-9835678-8-2},
   doi = {10.23919/FMCAD.2018.8602997},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11906}
}

Vaše IPv4 adresa: 34.204.0.181