Pages that link to "Item:Q3863057"
From MaRDI portal
The following pages link to Specification and verification of the UCLA Unix security kernel (Q3863057):
Displaying 5 items.
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- The programming language C and the operating system UNIX (Q1094863) (← links)
- seL4 Enforces Integrity (Q3088017) (← links)
- Secure Microkernels, State Monads and Scalable Refinement (Q3543657) (← links)
