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):
Displayed 10 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)
- Logic for reasoning about bugs in loops over data sequences (IFIL) (Q6062741) (← links)
- Adversarial logic (Q6109430) (← links)
- Limits and difficulties in the design of under-approximation abstract domains (Q6141757) (← links)
- Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation (Q6164429) (← links)
- Local completeness logic on Kleene algebra with tests (Q6164436) (← links)