L'Agence nationale de la recherche Des projets pour la science

Translate this page in english

Effectuer une recherche dans les résumés des projets financés :

 

DS0705 Sciences et technologies logicielles - 2015

Colis – Correction de scripts Linux

Coverif – Vers une combinaison de l’interprétation abstraite et de la programmation par contraintes pour la vérification de propriétés critiques pour des programmes embarqués avec des calculs en virgule flottante

FISP – La structure fine des systèmes formels de démonstration et leurs interprétations calculatoires

MODMED – MODèles pour la Vérification de Systèmes Cyber-Physiques MEDicaux

VOCAL – Bibliothèque OCaml vérifiée

Revenir à la page précédente