Kit
From MaRDI portal
Cited in
(11)- Formal memory models for the verification of low-level operating-system code
- Proof movie -- a proof with the Boyer-Moore prover
- QuillenSuslin
- Specware
- ITE
- EROS
- TAME
- Certifying low-level programs with hardware interrupts and preemptive threads
- System Level Aspects for Single Cell Scenarios
- Operating system verification---an overview
- Secure Microkernels, State Monads and Scalable Refinement
This page was built for software: Kit
