Pages that link to "Item:Q5477643"
From MaRDI portal
The following pages link to Theorem Proving in Higher Order Logics (Q5477643):
Displayed 5 items.
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- On the correctness of upper layers of automotive systems (Q1019015) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Secure Microkernels, State Monads and Scalable Refinement (Q3543657) (← links)