Pages that link to "Item:Q2988664"
From MaRDI portal
The following pages link to The Essence of Higher-Order Concurrent Separation Logic (Q2988664):
Displayed 10 items.
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Parameterized synthesis for fragments of first-order logic over data words (Q2200816) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Linear capabilities for fully abstract compilation of separation-logic-verified code (Q5016209) (← links)
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems (Q5041100) (← links)
- Highly Automated Formal Proofs over Memory Usage of Assembly Code (Q5164171) (← links)