Result Details

Compositional Entailment Checking for a Fragment of Separation Logic

ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Faculty of Information Technology BUT, 2014. p. 1-19.
Type
report
Language
English
Authors
Enea Constantin
Lengál Ondřej, doc. Ing., Ph.D.
Sighireanu Mihaela, prof. Ing., PhD.
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Published
2014
Pages
1–19
Publisher
Faculty of Information Technology BUT
Place
FIT-TR-2014-01, Brno
BibTeX 
@misc{BUT192965,
  author="Constantin {Enea} and Ondřej {Lengál} and Mihaela {Sighireanu} and Tomáš {Vojnar}",
  title="Compositional Entailment Checking for a Fragment of Separation Logic",
  year="2014",
  pages="1--19",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2014-01, Brno"
}
Projects
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, Standardní projekty, GA14-11384S, start: 2014-01-01, end: 2016-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Spolehlivost a bezpečnost v IT, BUT, Vnitřní projekty VUT, FIT-S-14-2486, start: 2014-01-01, end: 2016-12-31, completed
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, start: 2012-01-01, end: 2014-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top