The following pages link to Charge! (Q34522):
Displaying 10 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)
- Backwards and forwards with separation logic (Q1791147) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- Charge! (Q2914751) (← links)
- Mostly Sound Type System Improves a Foundational Program Verifier (Q2938037) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- Featherweight VeriFast (Q3196351) (← links)