Fakulta informačních technologií VUT v Brně

Detail publikace

Trau: SMT solver for string constraints

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
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)
Bui Phi Diep (Uppsala)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed (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
1-5
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
BibTeX
@INPROCEEDINGS{FITPUB11906,
   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 = "https://www.fit.vut.cz/research/publication/11906"
}
Nahoru