4

Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics

Rapport d'avancement Forces3 – 1ère année RA 1/21534

Formal methods in project P - SP5.L2

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems

Projet CAFEIN - Rapport avancement RA 1/21071

CAVALE - Intégration dans les processus de validation - focus sur les propriétés fonctionnelle. RF 4/14888

Invariant stream generators using automatic abstract transformers based on a decidable logic

A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems

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

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