Scheduling System Verification
Abstract elided by the publisher.
Related papers
- RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers PLDI 2025
- Modular verification of preemptive OS kernels ICFP 2011
- Integrating Formal Schedulability Analysis into a Verified OS Kernel CAV 2019
- Modular verification of preemptive OS kernels JFP 2013
- Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling CAV 2020
- Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler SAS 2024
- Formal verification of translation validators: a case study on instruction scheduling optimizations POPL 2008
- Scalable verification of GNN-based job schedulers OOPSLA 2022