Какой из следующих **механизмов** может быть использован для **обнаружения ошибок в DP-реализации**?