The following pages link to Kit (Q34113):
Displayed 6 items.
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Proof movie -- a proof with the Boyer-Moore prover (Q2366695) (← links)
- Secure Microkernels, State Monads and Scalable Refinement (Q3543657) (← links)
- System Level Aspects for Single Cell Scenarios (Q4687412) (← links)