Pages that link to "Item:Q3095238"

The following pages link to Reverse Hoare Logic (Q3095238):

Displaying 5 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)