Pages that link to "Item:Q3523175"
From MaRDI portal
The following pages link to Using XCAP to Certify Realistic Systems Code: Machine Context Management (Q3523175):
Displayed 6 items.
- Function extraction (Q436372) (← links)
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Improved Tool Support for Machine-Code Decompilation in HOL4 (Q2945632) (← links)