Proving array properties using data abstraction. - Julien Braine; Laure Gonnord (NSAD@SAS, 2020)

Data Abstraction: A General Framework to Handle Program Verification of Data Structures. - Julien Braine; Laure Gonnord; David Monniaux (SAS, 2021)

The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux). - Julien Braine (2022)