Detail publikace

SPEN: A Solver for Separation Logic

ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Lecture Notes in Computer Science, roč. 10227. Heidelberg: Springer Verlag, 2017, s. 302-309. ISBN 978-3-319-57287-1.
Název česky
SPEN: Solver pro separační logiku
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Enea Constantin (LIAFA UP7/CNRS)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Sighireanu Mihaela (LIAFA UP7/CNRS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt
SPEN je solver pro fragment separační logiky obsahující mnohé v praxi používané dynamicky linkované datové struktury.
Rok
2017
Strany
302-309
Sborník
Proceedings of NFM'17
Řada
Lecture Notes in Computer Science
Svazek
10227
Konference
NASA Formal Methods 2017, Moffett Field, US
ISBN
978-3-319-57287-1
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB11366,
   author = "Constantin Enea and Ond\v{r}ej Leng\'{a}l and Mihaela Sighireanu and Tom\'{a}\v{s} Vojnar",
   title = "SPEN: A Solver for Separation Logic",
   pages = "302--309",
   booktitle = "Proceedings of NFM'17",
   series = "Lecture Notes in Computer Science",
   volume = 10227,
   year = 2017,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-57287-1",
   doi = "10.1007/978-3-319-57288-8\_22",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11366"
}
Nahoru