Compositional Verification of a Baby Virtual Memory Manager

DOI10.1007/978-3-642-35308-6_13zbMath1383.68022OpenAlexW71887237MaRDI QIDQ4916058

Zhong Shao, Alexander Vaynberg

Publication date: 19 April 2013

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_13

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

Concerned with the unprivileged: user programs in kernel refinement

Uses Software

• Coq

This page was built for publication: Compositional Verification of a Baby Virtual Memory Manager