L’objectif de ce livre est de fournir une introduction complète et systématique à la méthode importante et hautement applicable de raffinement des données et aux méthodes de simulation utilisées pour prouver son exactitude. Dans une première partie, les auteurs se concentrent sur les principes généraux nécessaires pour prouver l’exactitude de l’affinement des données. Ils commencent par une explication des notions fondamentales montrant que les preuves de raffinement des données se réduisent à la simulation prouvante. La deuxième partie de l'ouvrage contient un aperçu détaillé des méthodes importantes dans ce domaine qui sont soigneusement analysées et qui se révèlent soit incomplètes avec des contre-exemples à leur application, soit toujours applicables chaque fois que l'affinement des données se maintient. C’est ce que montre la preuve pour la première fois que toutes ces méthodes peuvent être décrites et analysées à l’aune de deux notions simples : la simulation avant et la simulation arrière. Le livre est autonome, allant du niveau avancé de premier cycle et emmenant le lecteur à l’état de l’art en matière de méthodes de simulation de preuve. Langue : Anglais