Program verification in the presence of cached address translation

DOI10.1007/978-3-319-94821-8_32zbMath1468.68069OpenAlexW2811210584MaRDI QIDQ1791200

Gerwin Klein, Hira Taqdees Syeda

Publication date: 4 October 2018

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of operating systems (68N25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Formal reasoning under cached address translation

Uses Software

• Unnamed Item
• Unnamed Item
• HOL
• seL4
• CertiKOS

This page was built for publication: Program verification in the presence of cached address translation