El objetivo de este libro es proporcionar una introducción completa y sistemática al importante y altamente aplicable método de refinamiento de datos y los métodos de simulación utilizados para demostrar su corrección. Los autores se concentran en la primera parte en los principios generales necesarios para demostrar que el refinamiento de los datos es correcto. Comienzan con una explicación de las nociones fundamentales que muestran que las pruebas de refinamiento de datos se reducen a probar la simulación. La segunda parte del libro contiene un estudio detallado de métodos importantes en este campo que se analizan cuidadosamente y se muestra que están incompletos con contraejemplos de su aplicación o que siempre son aplicables cuando se mantiene el refinamiento de datos. Esto se demuestra demostrando por primera vez que todos estos métodos pueden describirse y analizarse en términos de dos nociones simples: simulación hacia adelante y hacia atrás. El libro es autónomo y va desde el nivel avanzado de pregrado y lleva al lector al estado del arte en métodos para probar la simulación. Idioma: Inglés