Formal Pervasive Verification of a Paging Mechanism
Abstract elided by the publisher.
Related papers
- Modular verification of web page layout OOPSLA 2019
- A verified information-flow architecture POPL 2014
- BFF: foundational and automated verification of bitfield-manipulating programs OOPSLA 2022
- A contextual formalization of structural coinduction JFP 2025
- Certified concurrent abstraction layers PLDI 2018
- Mechanized Verification of Computing Dominators for Formalizing Compilers CPP 2012
- Inductive Diagrams for Causal Reasoning OOPSLA 2024
- Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications POPL 2026