Pages that link to "Item:Q2819848"
From MaRDI portal
The following pages link to Deep specifications and certified abstraction layers (Q2819848):
Displaying 12 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)
- Formally Verified Implementation of an Idealized Model of Virtualization (Q2968409) (← 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)
- Automated Deduction – CADE-19 (Q5900713) (← links)
- A modeling concept for formal verification of OS-based compositional software (Q6535218) (← links)
- Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+} (Q6536175) (← links)