verified-memory

A subject. The loosest grouping, and the one to reach for last.

also written Verified operating systems and memory management

6 references

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor

Zhenyang Dai et al. (2024) · Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2

Verified Paging for x86-64 in Rust

Matthias Brun (2022)

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Christoph Baumann et al. (2012) · Electronic Proceedings in Theoretical Computer Science

Verification of programs in virtual memory using separation logic

Rafal Michal Kolanski (2011)

Formal verification of demand paging

Artem Starostin (2010)

Formal pervasive verification of a paging mechanism

Eyad Alkassar et al. (2008) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems