Formal Verification of the Heap Manager of an Operating System using Separation Logic
by
Nicolas Marti
,
Reynald Affeldt
,
Akinori Yonezawa
,
Department Of Computer Science
| Venue: | In 8th Int. Conf. on Formal Engineering Methods (ICFEM 2006), LNCS |
| Citations: | 18 - 4 self |
BibTeX
@INPROCEEDINGS{Marti_formalverification,
author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa and Department Of Computer Science},
title = {Formal Verification of the Heap Manager of an Operating System using Separation Logic},
booktitle = {In 8th Int. Conf. on Formal Engineering Methods (ICFEM 2006), LNCS},
year = {},
pages = {400--419},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
nicolas at yl.is.s.u-tokyo.ac.jp reynald.affeldt at aist.go.jp yonezawa at yl.is.s.u-tokyo.ac.jp
