Pages that link to "Item:Q1040002"
From MaRDI portal
The following pages link to Operating system verification---an overview (Q1040002):
Displaying 17 items.
- On theorem prover-based testing (Q470025) (← links)
- Concerned with the unprivileged: user programs in kernel refinement (Q736848) (← links)
- A formalization of multi-tape Turing machines (Q744986) (← links)
- Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← 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)
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- Optimisation of maintenance concept choice using risk-decision factor – a case study (Q2935094) (← links)
- Experience report (Q2936807) (← links)
- A Vindication of Program Verification (Q2963953) (← links)
- seL4 Enforces Integrity (Q3088017) (← links)
- Types, Maps and Separation Logic (Q3183535) (← links)
- (Q3323253) (← links)
- Social processes, program verification and all that (Q3643359) (← links)
- A modeling concept for formal verification of OS-based compositional software (Q6535218) (← links)