Č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. ISSN 0302-9743.
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
Časopis:Lecture Notes in Computer Science, č. 10227, DE
ISSN:0302-9743
Vydavatel:Springer Verlag
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconspen.pdf308 KB2017-05-09 10:07:27
^ Vybrat vše
S vybranými:
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},
   journal = {Lecture Notes in Computer Science},
   number = {10227},
   year = {2017},
   location = {Heidelberg, DE},
   publisher = {Springer Verlag},
   ISSN = {0302-9743},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11366}
}

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

DNSSEC [dnssec]