Detail publikace

Norn: An SMT Solver for String Constraints

ABDULLA Parosh A., ATIG Mohamed F., HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed, RUMMER Philipp a STENMAN Jari. Norn: An SMT Solver for String Constraints. In: Computer Aided Verification. Lecture Notes in Computer Science Volume 9206. Cham: Springer International Publishing, 2015, s. 462-469. ISBN 978-3-319-21689-8.
Název česky
Norn: SMT řešič pro řetzcová omezení
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Atig Mohamed F. (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Rezine Ahmed, Assoc. Prof. (LIU)
Rummer Philipp (Uppsala)
Stenman Jari (Uppsala)
Klíčová slova

řetězcová omezení
SMT
konečné automaty
rovnice nad řetězci
Presburger
zranitelnost
verifikace

Abstrakt

Prezentujeme nástroj pro rohodování logiky na řetězci s možným uplatněním ve verifikaci sotware a detekci zranitelnosti aplikací.

Anotace

Prezentujeme nástroj pro rohodování logiky na řetězci s možným uplatněním ve verifikaci sotware a detekci zranitelnosti aplikací.

Rok
2015
Strany
462-469
Sborník
Computer Aided Verification
Řada
Lecture Notes in Computer Science Volume 9206
Konference
27th International Conference on Computer Aided Verification, San Francisco, California, US
ISBN
978-3-319-21689-8
Vydavatel
Springer International Publishing
Místo
Cham, CH
DOI
UT WoS
000364182900029
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB10878,
   author = "A. Parosh Abdulla and F. Mohamed Atig and Luk\'{a}\v{s} Hol\'{i}k and Yu-Fang Chen and Ahmed Rezine and Philipp Rummer and Jari Stenman",
   title = "Norn: An SMT Solver for String Constraints",
   pages = "462--469",
   booktitle = "Computer Aided Verification",
   series = "Lecture Notes in Computer Science Volume 9206",
   year = 2015,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-21689-8",
   doi = "10.1007/978-3-319-21690-4\_29",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10878"
}
Nahoru