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

@@ Property / describes a project that uses @@
+VCC
@@ Property / describes a project that uses: VCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-014-0296-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2074245744
@@ Property / OpenAlex ID: W2074245744 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:736848