Detail publikace

String Constraints for Verification

HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; RUMMER, P.; STENMAN, J. String Constraints for Verification. In 26th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, Volume 8559. Berlin: Springer Verlag, 2014. p. 150-166. ISBN: 978-3-319-08866-2.
Název česky
Logika nad řetězci s použitím ve verifikaci
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Abdulla Parosh
Atig Mohamed
Chen Yu-Fang
Rummer Philipp
Stenman Jari
URL
Klíčová slova

verification
string
logic

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
DOI
10.1007/978-3-319-08867-9_10
UT WoS
000491474200010
EID Scopus
2-s2.0-84904815514
BibTeX 
@inproceedings{BUT111639,
  author="Lukáš {Holík} and Parosh {Abdulla} and Mohamed {Atig} and Yu-Fang {Chen} and Philipp {Rummer} and Jari {Stenman}",
  title="String Constraints for Verification",
  booktitle="26th International Conference on Computer Aided Verification",
  year="2014",
  series="Lecture Notes in Computer Science, Volume 8559",
  volume="8559",
  pages="150--166",
  publisher="Springer Verlag",
  address="Berlin",
  doi="10.1007/978-3-319-08867-9\{_}10",
  isbn="978-3-319-08866-2",
  url="http://link.springer.com/chapter/10.1007/978-3-319-08867-9_10"
}
Nahoru