Kit
From MaRDI portal
Software:34113
swMATH22321MaRDI QIDQ34113FDOQ34113
Author name not available (Why is that?)
Cited In (6)
- Formal memory models for the verification of low-level operating-system code
- Proof movie -- a proof with the Boyer-Moore prover
- 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
