๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 10th workshop - Saint-Emilion, France (2002.07.01-2002.07.01)] Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10 - Applying source-code verification to a microkernel

โœ Scribed by Hohmuth, Michael; Tews, Hendrik; Stephens, Shane G.

Book ID
121006126
Publisher
ACM Press
Year
2002
Weight
118 KB
Category
Article

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 10th workshop - Saint-Emi
[ACM Press the 10th workshop - Saint-Emilion, France (2002.07.01-2002.07.01)] Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10 - Applying source-code verification to a microkernel
โœ Hohmuth, Michael; Tews, Hendrik; Stephens, Shane G. ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› ACM Press โš– 118 KB

We present the VFiasco project, in which we apply source-code verification to a complete operating-system kernel written in C++. The aim of the VFiasco project is to establish security-relevant properties of the Fiasco microkernel.Source-code verification works by reasoning about the semantics of th