Kit
From MaRDI portal
Software:34113
No author found.
Related Items (6)
Proof movie -- a proof with the Boyer-Moore prover ⋮ Certifying low-level programs with hardware interrupts and preemptive threads ⋮ Formal memory models for the verification of low-level operating-system code ⋮ Secure Microkernels, State Monads and Scalable Refinement ⋮ System Level Aspects for Single Cell Scenarios ⋮ Operating system verification---an overview
This page was built for software: Kit
