[ES] El depurador reversible con consistencia causal CauDEr ha sido desarrollado por el grupo MiST en la UPV en colaboración con las universidades de Bolonia y Nagoya cuyo objetivo es resolver algunos errores de concurrencia ...