The following pages link to Charge! (Q2914751):
Displaying 7 items.
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
