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 :

 

DS0704 Sciences et technologies logicielles - 2014

AnaStaSec – Analyse Statique pour la Sécurité

DISCOVER – Représentations Intermédiaires et Sémantiques de la Concurrence pour les Compilateurs Vérifiés

FORMOSE – Méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques

PACS – Analyses paramétrées de systèmes concurrents

PRODAQ – Systèmes de preuves pour requêtes avec données

SOPRANO – Nouveau prouveur automatique pour l'analyse de programmes

VECOLIB – Vérifier automatiquement la correction des utilisations et des implémentations de librairies de collections

Revenir à la page précédente