Scopul acestei cărți este de a oferi o introducere cuprinzătoare și sistematică a metodei importante și extrem de aplicabile de rafinare a datelor și a metodelor de simulare utilizate pentru a dovedi corectitudinea acesteia. Autorii se concentrează în prima parte pe principiile generale necesare pentru a dovedi corectitudinea rafinamentului datelor. Ele încep cu o explicație a noțiunilor fundamentale care arată că dovezile de rafinare a datelor se reduc la demonstrarea simulării. A doua parte a cărții conține o analiză detaliată a metodelor importante în acest domeniu care sunt analizate cu atenție și se dovedesc a fi fie incomplete cu contraexemple la aplicarea lor, fie a fi întotdeauna aplicabile ori de câte ori rafinarea datelor este valabilă. Acest lucru este demonstrat prin demonstrarea pentru prima dată a faptului că toate aceste metode pot fi descrise și analizate în termenii a două noțiuni simple: simulare înainte și înapoi. Cartea este de sine stătătoare, mergând de la nivel avansat de licență și ducând cititorul la stadiul actual al metodelor de demonstrare a simulării. Limba: engleză