Concerned with the unprivileged: user programs in kernel refinement (Q736848): Difference between revisions

@@ Property / cites work @@
+Secure Microkernels, State Monads and Scalable Refinement
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Types, Maps and Separation Logic
@@ Property / cites work: Types, Maps and Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Operating system verification---an overview
@@ Property / cites work: Operating system verification---an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterference for Operating System Kernels
@@ Property / cites work: Noninterference for Operating System Kernels / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+seL4 Enforces Integrity
@@ Property / cites work: seL4 Enforces Integrity / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Memory Model for Pointers
@@ Property / cites work: A Unified Memory Model for Pointers / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Verification of a Baby Virtual Memory Manager
+Normal rank