En el uso de formalismos, donde el ingeniero de software hace el papel de un probador de teoremas, la verificación ocurre dando una posibilidad de identificar inconsistencias.