A Practical Verification Framework for Preemptive OS Kernels
Abstract elided by the publisher.
Related papers
- Mechanized verification of preemptive OS kernels (invited talk) CPP 2017
- EffiSha: A Software Framework for Enabling Effficient Preemptive Scheduling of GPU PPoPP 2017
- Modular verification of preemptive OS kernels ICFP 2011
- Modular verification of preemptive OS kernels JFP 2013
- Certifying low-level programs with hardware interrupts and preemptive threads PLDI 2008
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020
- Safe to the last instruction: automated verification of a type-safe operating system PLDI 2010
- Lightweight preemptive user-level threads PPoPP 2021