The following pages link to Reverse Hoare Logic (Q3095238):
Displayed 8 items.
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Loop verification with invariants and contracts (Q2152642) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)
- Adversarial logic (Q6109430) (← links)
- Reasoning about promises in weak memory models with event structures (Q6174540) (← links)
- RHLE: modular deductive verification of relational \(\forall \exists\) properties (Q6176567) (← links)