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)

• \textsc{Diffy}: inductive reasoning of array programs using difference invariants
• Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
• Verifying Array Programs by Transforming Verification Conditions
• Lingva: Generating and Proving Program Properties Using Symbol Elimination
• Booster: An Acceleration-Based Verification Framework for Array Programs
• An extension of lazy abstraction with interpolation for programs with arrays
• Data abstraction: a general framework to handle program verification of data structures
• A galois connection calculus for abstract interpretation
• Inferring functional properties of matrix manipulating programs by abstract interpretation
• Verifying Array Manipulating Programs with Full-Program Induction
• Generic Abstraction of Dictionaries and Arrays
• Static Contract Checking with Abstract Interpretation
• Lazy Abstraction with Interpolants for Arrays
• Inferring complete initialization of arrays
• Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
• An array content static analysis based on non-contiguous partitions

This page was built for software: FunArray