From a Verified Kernel towards Verified Systems
No abstract available.
Related papers
- Translation validation for a verified OS kernel PLDI 2013
- Integrating Formal Schedulability Analysis into a Verified OS Kernel CAV 2019
- Toward compositional verification of interruptible OS kernels and device drivers PLDI 2016
- Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel SAS 2024
- Safe to the last instruction: automated verification of a type-safe operating system PLDI 2010
- A Flow-Sensitive Refinement Type System for Verifying eBPF Programs OOPSLA 2025
- Verifying GPU kernels by test amplification PLDI 2012
- Modular verification of preemptive OS kernels JFP 2013