Modular Verification of SPARCv8 Code
Abstract elided by the publisher.
Related papers
- Modular verification of security protocol code by typing POPL 2010
- Modular verification of preemptive OS kernels ICFP 2011
- Modular and automated type-soundness verification for language extensions ICFP 2013
- Modular verification of assembly code with stack-based control abstractions PLDI 2006
- Modular verification of preemptive OS kernels JFP 2013
- Modular specification and verification of closures in Rust OOPSLA 2021
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification ICFP 2023