Målet med denne bog er at give en omfattende og systematisk introduktion til den vigtige og meget anvendelige metode til dataforfining og de simuleringsmetoder, der bruges til at bevise dens rigtighed. Forfatterne koncentrerer sig i første del om de generelle principper, der er nødvendige for at bevise, at dataforfining er korrekt. De begynder med en forklaring af de grundlæggende begreber, der viser, at dataforfiningsbeviser reduceres til bevissimulering. Bogens anden del indeholder en detaljeret oversigt over vigtige metoder på dette område, som er omhyggeligt analyseret og vist sig enten at være ufuldstændige med modeksempler til deres anvendelse eller altid at være anvendelige, når dataforfining holder. Dette vises ved for første gang at bevise, at alle disse metoder kan beskrives og analyseres i form af to enkle begreber: fremadgående og bagudrettet simulering. Bogen er selvstændig, der går fra avanceret bachelorniveau og tager læseren til det nyeste inden for metoder til at bevise simulering. Sprog: Engelsk