Kit

swMATH22321MaRDI QIDQ34113FDOQ34113

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/document/41331/

Cited In (11)

• 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
• QuillenSuslin
• Specware
• ITE
• EROS
• System Level Aspects for Single Cell Scenarios
• TAME
• Operating system verification---an overview
• Secure Microkernels, State Monads and Scalable Refinement

This page was built for software: Kit