El reajuste es una técnica asociada con los métodos formales que se introdujo para abordar algunas de las limitaciones percibidas del refinamiento formal basado en modelos, para situaciones en las que el refinamiento podría considerarse deseable en principio, pero resultó ser inutilizable, o casi inutilizable, en la práctica. Se desarrolló principalmente en la Escuela de Ciencias de la Computación de la Universidad de Manchester . [ cita requerida ] La perspectiva más actualizada se encuentra en el artículo ACM TOSEM a continuación.