Pages that link to "Item:Q2829245"
From MaRDI portal
The following pages link to Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency (Q2829245):
Displaying 4 items.
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
- Using formal reasoning on a model of tasks for FreeRTOS (Q903515) (← links)
- Toward compositional verification of interruptible OS kernels and device drivers (Q1663225) (← links)