L'obiettivo di questo libro è quello di fornire un'introduzione completa e sistematica all'importante e altamente applicabile metodo di raffinamento dei dati e ai metodi di simulazione utilizzati per dimostrarne la correttezza. Gli autori si concentrano nella prima parte sui principi generali necessari per dimostrare il corretto affinamento dei dati. Iniziano con una spiegazione delle nozioni fondamentali che mostrano che le prove di raffinamento dei dati si riducono alla dimostrazione della simulazione. La seconda parte del libro contiene una rassegna dettagliata di importanti metodi in questo campo che vengono attentamente analizzati e si sono dimostrati incompleti di controesempi alla loro applicazione o sempre applicabili ogni volta che si richiede un perfezionamento dei dati. Ciò è dimostrato dimostrando per la prima volta che tutti questi metodi possono essere descritti e analizzati in termini di due semplici nozioni: simulazione diretta e retrospettiva. Il libro è autoconclusivo e va dal livello universitario avanzato e porta il lettore allo stato dell'arte dei metodi per dimostrare la simulazione. Lingua: Inglese