Detail publikace

Trau : SMT solver for string constraints

ABDULLA Parosh A., ATIG Mohamed F., CHEN Yu-Fang, BUI Phi Diep, HOLÍK Lukáš, 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. 165-169. ISBN 978-0-9835678-8-2. Dostupné z: https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/fmcad2018_proceedings.pdf
Název česky
Trau: řešič řetězcových omezení
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Atig Mohamed F. (Uppsala)
Chen Yu-Fang (ASIN)
Bui Phi Diep (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Rezine Ahmed, Assoc. Prof. (LIU)
Rummer Philipp (Uppsala)
URL
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
Konference
Formal Methods in Computer-Aided Design, Austin, Texas, US
ISBN
978-0-9835678-8-2
Vydavatel
FMCAD Inc.
Místo
Austin, US
DOI
10.23919/FMCAD.2018.8602997
UT WoS
000493916300025
EID Scopus
2-s2.0-85061671269
BibTeX 
@INPROCEEDINGS{FITPUB11906,
   author = "A. Parosh Abdulla and F. Mohamed Atig and Yu-Fang Chen and Diep Phi Bui and Luk\'{a}\v{s} Hol\'{i}k and Ahmed Rezine and Philipp Rummer",
   title = "Trau : SMT solver for string constraints",
   pages = "165--169",
   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 = "https://www.fit.vut.cz/research/publication/11906"
}
Nahoru