✦ 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 - Overload management as a fundamental service design primitive

✍ Scribed by Welsh, Matt; Culler, David

Book ID: 121290629
Publisher: ACM Press
Year: 2002
Weight: 173 KB
Category: Article
DOI: 10.1145/1133373.1133386

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

[ACM Press the 10th workshop - Saint-Emi

✍ 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