The following pages link to David Sanán (Q835782):
Displayed 6 items.
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model (Q2031429) (← links)
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (Q2926661) (← links)
- CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs (Q3303910) (← links)