Interactively Verifying a Simple Real-time Scheduler
No abstract available.
DOI 10.1007/3-540-60045-0_65
Related papers
- Specification and Verification of Fault-Tolerance, Timing, and Scheduling TOPLAS 1999
- RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers PLDI 2025
- Object-oriented real-time concurrency OOPSLA 2000
- Integrating Formal Schedulability Analysis into a Verified OS Kernel CAV 2019
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020
- Slicing Real-Time Programs for Enhanced Schedulability TOPLAS 1997
- The Embedded Machine: Predictable, Portable Real-Time Code PLDI 2002
- The embedded machine: Predictable, portable real-time code TOPLAS 2007