Pages that link to "Item:Q2985780"
From MaRDI portal
The following pages link to An abstract memory functor for verified C static analyzers (Q2985780):
Displaying 5 items.
- Certified compilation for cryptography: extended x86 instructions and constant-time verification (Q2152025) (← links)
- Verifying constant-time implementations by abstract interpretation (Q2167720) (← links)
- \textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics (Q2319992) (← links)
- Hierarchical shape abstraction for analysis of free list memory allocators (Q2409733) (← links)
- Computer Algebra in Scientific Computing (Q5479248) (← links)