FunArray

swMATH13708MaRDI QIDQ25620FDOQ25620

Author name not available (Why is that?)

Described by source

• A parametric segmentation functor for fully automatic and scalable array content analysis

Cited In (16)

• Verifying array manipulating programs with full-program induction
• \textsc{Diffy}: inductive reasoning of array programs using difference invariants
• Generic abstraction of dictionaries and arrays
• Verifying Array Programs by Transforming Verification Conditions
• An extension of lazy abstraction with interpolation for programs with arrays
• Datacentric semantics for verification of privacy policy compliance by mobile applications
• Data abstraction: a general framework to handle program verification of data structures
• Static contract checking with abstract interpretation
• Inferring functional properties of matrix manipulating programs by abstract interpretation
• Lazy abstraction with interpolants for arrays
• Precondition inference from intermittent assertions and application to contracts on collections
• A Galois connection calculus for abstract interpretation
• Inferring complete initialization of arrays
• Lingva: generating and proving program properties using symbol elimination
• Booster: an acceleration-based verification framework for array programs
• An array content static analysis based on non-contiguous partitions

This page was built for software: FunArray