Pages that link to "Item:Q2819848"
From MaRDI portal
The following pages link to Deep Specifications and Certified Abstraction Layers (Q2819848):
Displayed 9 items.
- Toward compositional verification of interruptible OS kernels and device drivers (Q1663225) (← links)
- Formal reasoning under cached address translation (Q2209539) (← links)
- Verified software units (Q2233451) (← links)
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)
- Connecting Higher-Order Separation Logic to a First-Order Outside World (Q5041105) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- (Q5119393) (← links)
- (Q6193834) (← links)