Detail publikace

SPEN: A Solver for Separation Logic

LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M. SPEN: A Solver for Separation Logic. In Proceedings of NFM'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 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
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Enea Constantin (FIT)
Sighireanu Mihaela
Klíčová slova

separation logic entailment checking satisfiability checking SMT solving SAT solving tree automata tool support

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
ISBN
978-3-319-57287-1
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-57288-8_22
UT WoS
000890067500022
EID Scopus
2-s2.0-85018662996
BibTeX 
@inproceedings{BUT135904,
  author="Ondřej {Lengál} and Tomáš {Vojnar} and Constantin {Enea} and Mihaela {Sighireanu}",
  title="SPEN: A Solver for Separation Logic",
  booktitle="Proceedings of NFM'17",
  year="2017",
  series="Lecture Notes in Computer Science",
  volume="10227",
  pages="302--309",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-319-57288-8\{_}22",
  isbn="978-3-319-57287-1",
  url="https://www.fit.vut.cz/research/publication/11366/"
}
Nahoru