Section: Contracts and Grants with Industry
Sardanes is an FNRAE (Fondation de Recherche pour l'Aéronautique et l'Espace ) project (2009–2012) between the University of Perpignan and the ENS. Scade is widely used to write critical embedded software, as a specification and verification language. The semantics of Scade uses real arithmetics whereas it is compiled into a language that uses floating-point arithmetics. The goal of the Sardanes project is to use expression transformation so as to ensure that the numerical properties of the programs is preserved during the compilation. Patrick Cousot and Radhia Cousot are the principal investigators for this action.