The following pages link to FunArray (Q25620):
Displaying 16 items.
- Inferring complete initialization of arrays (Q383356) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Data abstraction: a general framework to handle program verification of data structures (Q2145329) (← links)
- Lazy Abstraction with Interpolants for Arrays (Q2891439) (← links)
- Verifying Array Programs by Transforming Verification Conditions (Q2938066) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
- Lingva: Generating and Proving Program Properties Using Symbol Elimination (Q3455056) (← links)
- Booster: An Acceleration-Based Verification Framework for Array Programs (Q3457775) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (Q5172635) (← links)
- A galois connection calculus for abstract interpretation (Q5408396) (← links)
