INRIA - OASIS

Dans le cadre des applications réparties (grilles de calcul, Clouds, infrastructures P2P, clusters, architectures multi-coeurs), l'objectif de l'équipe Oasis est de proposer des principes fondamentaux, des techniques et des outils pour la construction, l'analyse, la validation, la vérification et la maintenance de systèmes fiables.