Des analyses dans lequel deux ou plusieurs variantes d'un programme sont exécutées avec les mêmes entrées, les sorties sont comparés et les erreurs sont analysées en cas de divergence.