Antoine Miné

A Review of Formal Methods applied to Machine Learning

2021 · arXiv (Cornell University)

We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature …

Modular static analysis of string manipulations in C programs

2018 · HAL (Le Centre pour la Communication Scientifique Directe)

International audience

DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis

2026 · HAL (Le Centre pour la Communication Scientifique Directe)

Data containers, such as lists, arrays, trees, etc, raise challenges for program verification. In static analysis by abstract interpretation, one popular approach is summarization: multiple elements of a data structure are abstracted into a single …