"own"

TINY: Simple Static Analyzer for Imperative Code and Numerical precision analysis

Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems

A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems

CAVALE - Collaboration d'analyses - Choix techniques & Mise en oeuvre. RT 3/14888

Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT

SMT-AI, abstract interpreter for a temporal extension of SMT-lib

SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib

2.1 - Modélisation pour la prise en compte des phénomènes de rayonnements dans les architectures logicielles avioniques. RT 1/16764

CAVALE - Collaboration d'analyses pour la vérification d'erreurs à l'exécution. RT 2/14888

ASBAPROD Assurance Basée Produit - Rapport final, RF 4/13733