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 9 items.
- Dual analysis for proving safety and finding bugs (Q1951646) (← links)
- 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)
- Adversarial logic (Q6109430) (← links)
- Logics for extensional, locally complete analysis via domain refinements (Q6535224) (← links)
- Low-level reachability analysis based on formal logic (Q6535328) (← links)