2014 | ELFIC

Programmes d’éléments finis formellement vérifié Axe:SciLex 2&3Coordinatrice :Sylvie Boldo, InriaObjectif : Preuve de correction de la bibliothèque FELiScE implantant la méthode des éléments finis pour la résolution numérique d'équations aux dérivées…

Continuer la lecture 2014 | ELFIC

2013 | SHy

Axe :SciLexAction commune avec iCodeCoordinateurs : Alexandre Chapoutot / Catherine Bonnet / Paolo MasonObjet du groupe de travail : Sessions d'échanges sur les diverses approches des systèmes dynamiques et hybridesProductions…

Continuer la lecture 2013 | SHy