Pages that link to "Item:Q835764"
From MaRDI portal
The following pages link to Certifying low-level programs with hardware interrupts and preemptive threads (Q835764):
Displaying 6 items.
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Toward compositional verification of interruptible OS kernels and device drivers (Q1663225) (← links)
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency (Q2829245) (← links)
