Pages that link to "Item:Q2486585"
From MaRDI portal
The following pages link to Proving pointer programs in higher-order logic (Q2486585):
Displayed 4 items.
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Formal verification of a C-like memory model and its uses for verifying program transformations (Q945054) (← links)
- Practical Tactics for Separation Logic (Q3183539) (← links)
- Lightweight Separation (Q3543659) (← links)