Detail publikace

Norn: An SMT Solver for String Constraints

HOLÍK, L.; CHEN, Y.; REZINE, A.; RUMMER, P.; STENMAN, J.; ABDULLA, P.; ATIG, M. Norn: An SMT Solver for String Constraints. In Computer Aided Verification. Lecture Notes in Computer Science Volume 9206. Cham: Springer International Publishing, 2015. p. 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
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Chen Yu-Fang
Rezine Ahmed, Assoc. Prof.
Rummer Philipp
Stenman Jari
Abdulla Parosh
Atig Mohamed
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
DOI
10.1007/978-3-319-21690-4_29
UT WoS
000364182900029
EID Scopus
2-s2.0-84951055435
BibTeX 
@inproceedings{BUT120376,
  author="Lukáš {Holík} and Yu-Fang {Chen} and Ahmed {Rezine} and Philipp {Rummer} and Jari {Stenman} and Parosh {Abdulla} and Mohamed {Atig}",
  title="Norn: An SMT Solver for String Constraints",
  booktitle="Computer Aided Verification",
  year="2015",
  series="Lecture Notes in Computer Science Volume 9206",
  pages="462--469",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-319-21690-4\{_}29",
  isbn="978-3-319-21689-8"
}
Nahoru