Verasco
From MaRDI portal
Software:31808
swMATH19985MaRDI QIDQ31808FDOQ31808
Author name not available (Why is that?)
Cited In (12)
- Sound Bit-Precise Numerical Domains
- A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra
- Testing your (static analysis) truths
- AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code
- Sparsity preserving algorithms for octagons
- Automatically proving termination and memory safety for programs with pointer arithmetic
- Constructive Galois Connections
- Verified functional programming of an abstract interpreter
- Efficient Elimination of Redundancies in Polyhedra by Raytracing
- An abstract memory functor for verified C static analyzers
- Abstract interpretation as automated deduction
This page was built for software: Verasco
