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