The following pages link to THOR (Q26973):
Displayed 4 items.
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (Q2802460) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
- Separation Logic Tutorial (Q5504642) (← links)