Het doel van dit boek is om een uitgebreide en systematische inleiding te geven op de belangrijke en zeer toepasbare methode van gegevensverfijning en de simulatiemethoden die worden gebruikt om de juistheid ervan aan te tonen. De auteurs concentreren zich in het eerste deel op de algemene principes die nodig zijn om de verfijning van de gegevens correct te bewijzen. Ze beginnen met een uitleg van de fundamentele begrippen waaruit blijkt dat het bewijzen van gegevensverfijning wordt gereduceerd tot het bewijzen van simulatie. Het tweede deel van het boek bevat een gedetailleerd overzicht van belangrijke methoden op dit gebied die zorgvuldig worden geanalyseerd en waarvan is aangetoond dat ze ofwel onvolledig zijn met tegenvoorbeelden van hun toepassing of altijd toepasbaar zijn wanneer de verfijning van de gegevens standhoudt. Dit wordt aangetoond door voor het eerst te bewijzen dat al deze methoden kunnen worden beschreven en geanalyseerd in termen van twee eenvoudige begrippen: voorwaartse en achterwaartse simulatie. Het boek staat op zichzelf, gaat van gevorderd bachelorniveau en neemt de lezer mee naar de stand van zaken op het gebied van methoden voor het bewijzen van simulatie. Taal: Engels