Detail publikace

String Constraints for Verification

ABDULLA Parosh A., ATIG Mohamed F., HOLÍK Lukáš, CHEN Yu-Fang, RUMMER Philipp a STENMAN Jari. String Constraints for Verification. In: 26th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, Volume 8559, roč. 8559. Berlin: Springer Verlag, 2014, s. 150-166. ISBN 978-3-319-08866-2. Dostupné z: http://link.springer.com/chapter/10.1007/978-3-319-08867-9_10
Název česky
Logika nad řetězci s použitím ve verifikaci
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)
Rummer Philipp (Uppsala)
Stenman Jari (Uppsala)
URL
Abstrakt

Prezentujem rozhodnutelnou logiku nad řetězci, které kombinuje regulární výrazy, rovnice nad slovy, a aritmetická omezení nad délkou slov.
Prototypová implementace byla použita k verifikaci několika programů, které jsou mimo dosah dosavadních metod.

Rok
2014
Strany
150-166
Sborník
26th International Conference on Computer Aided Verification
Řada
Lecture Notes in Computer Science, Volume 8559
Svazek
8559
Konference
26th International Conference on Computer Aided Verification -- CAV 2014, Vídeň, AT
ISBN
978-3-319-08866-2
Vydavatel
Springer Verlag
Místo
Berlin, DE
DOI
UT WoS
000491474200010
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB10699,
   author = "A. Parosh Abdulla and F. Mohamed Atig and Luk\'{a}\v{s} Hol\'{i}k and Yu-Fang Chen and Philipp Rummer and Jari Stenman",
   title = "String Constraints for Verification",
   pages = "150--166",
   booktitle = "26th International Conference on Computer Aided Verification",
   series = "Lecture Notes in Computer Science, Volume 8559",
   volume = 8559,
   year = 2014,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-08866-2",
   doi = "10.1007/978-3-319-08867-9\_10",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10699"
}
Nahoru