Verasco
From MaRDI portal
Software:31808
No author found.
Related Items (12)
Abstract interpretation as automated deduction ⋮ Automatically proving termination and memory safety for programs with pointer arithmetic ⋮ AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code ⋮ Verified functional programming of an abstract interpreter ⋮ Sparsity preserving algorithms for octagons ⋮ Efficient Elimination of Redundancies in Polyhedra by Raytracing ⋮ Sound Bit-Precise Numerical Domains ⋮ An abstract memory functor for verified C static analyzers ⋮ 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 ⋮ Constructive Galois Connections ⋮ Testing your (static analysis) truths
This page was built for software: Verasco
