The following pages link to (Q3816961):
Displaying 6 items.
- A dynamic logic for QASM programs (Q777899) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- Verification logic (Q4555452) (← links)
- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (Q5423862) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
- Verification for everyone? An overview of dynamic logic (Q6074988) (← links)