Physical addressing on real hardware in Isabelle/HOL

DOI10.1007/978-3-319-94821-8_1OpenAlexW2810049918MaRDI QIDQ1791136

David Cock, Lukas Humbel, Timothy Roscoe, Reto Achermann

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_1

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

Formal reasoning under cached address translation

Uses Software

• Unnamed Item
• seL4
• CertiKOS
• Barrelfish

This page was built for publication: Physical addressing on real hardware in Isabelle/HOL