Méthodes formelles pour les systèmes répartis et coopératifs

Cet ouvrage présente l'utilisation des méthodes formelles pour les systèmes
répartis et coopératifs dans un contexte pratique de Génie Logiciel. Ces
techniques sont particulièrement intéressantes pour les domaines dits
"critiques". En effet, les systèmes répartis critiques nécessitent le recours
à des méthodes formelles pour les phases amont et aval du Génie Logiciel.
L'objectif de cet ouvrage est de présenter les techniques en pointe dans ce
domaine, en particulier pour traiter des systèmes de taille industrielle. Le
présent ouvrage vise un public d'étudiants en master 2, de jeunes chercheurs
débutant dans le domaine ou des ingénieurs souhaitant disposer d'une vue
synthétique sur un domaine en perpétuelle évolution, en particulier pour
combattre la complexité due à l'accroissement des systèmes répartis requérant
une analyse formelle.