Pages that link to "Item:Q2226739"
From MaRDI portal
The following pages link to Local reasoning about the presence of bugs: incorrectness separation logic (Q2226739):
Displaying 5 items.
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)