The following pages link to Verasco (Q31808):
Displaying 12 items.
- Sparsity preserving algorithms for octagons (Q1650959) (← links)
- A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data (Q1739908) (← links)
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- Testing your (static analysis) truths (Q2119122) (← links)
- Verified functional programming of an abstract interpreter (Q2145322) (← links)
- Abstract interpretation as automated deduction (Q2360874) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Efficient Elimination of Redundancies in Polyhedra by Raytracing (Q2961577) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- An abstract memory functor for verified C static analyzers (Q2985780) (← links)
- AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code (Q3179279) (← links)
- Constructive Galois Connections (Q4972068) (← links)
