Článek ve sborníku konference

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. Cham: Springer International Publishing, 2015, s. 462-469. ISBN 978-3-319-21689-8.
Jazyk publikace:angličtina
Název publikace:Norn: An SMT Solver for String Constraints
Název (cs):Norn: SMT řešič pro řetzcová omezení
Strany:462-469
Sborník:Computer Aided Verification
Konference:27th International Conference on Computer Aided Verification
Řada knih:Lecture Notes in Computer Science Volume 9206
Místo vydání:Cham, CH
Rok:2015
ISBN:978-3-319-21689-8
DOI:10.1007/978-3-319-21690-4_29
Vydavatel:Springer International Publishing
Klíčová slova
řetězcová omezení
SMT
konečné automaty
rovnice nad řetězci
Presburger
zranitelnost
verifikace
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í.
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í.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=10878}
}

Vaše IPv4 adresa: 34.238.189.171
Přepnout na https