Článek ve sborníku konference

ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, s. 302-309. ISBN 978-3-319-57287-1.
Jazyk publikace:angličtina
Název publikace:SPEN: A Solver for Separation Logic
Název (cs):SPEN: Solver pro separační logiku
Strany:302-309
Sborník:Proceedings of NFM'17
Konference:NASA Formal Methods 2017
Řada knih:LNCS 10227
Místo vydání:Heidelberg, DE
Rok:2017
ISBN:978-3-319-57287-1
DOI:10.1007/978-3-319-57288-8_22
Vydavatel:Springer Verlag
Klíčová slova

separation logic
entailment checking
satisfiability checking
SMT solving
SAT solving
tree automata
tool support
Anotace
SPEN je solver pro fragment separační logiky obsahující mnohé v praxi používané dynamicky linkované datové struktury.
BibTeX:
@INPROCEEDINGS{
   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 = {LNCS 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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11366}
}

Vaše IPv4 adresa: 54.225.32.164
Přepnout na IPv6 spojení

DNSSEC [dnssec]