As redes definidas por software (do Inglês, Software Defined Networks, SDNs) têm vindo a afirmar-se como uma das mais promissoras abordagens para simplificar a configuração e gestão de equipamentos. No entanto, as SDNs não são imunes a erros tais como ciclos no encaminhamento, buracos negros, encaminhamento sub-óptimo, entre outros. Estes erros são tipicamente causados por falhas na especificação ou por bugs nos equipamentos. Se as primeiras podem ser, em grande parte, eliminadas através da utilização de ferramentas que fazem a validação automática de uma especificação antes da sua instalação, os bugs (e/ou avarias) nos equipamentos (muitas vezes de natureza não determinista) geralmente só conseguem ser detectados em tempo de execução. Este artigo propõe uma nova técnica para facilitar o isolamento de falhas nos equipamentos em redes SDN. Esta técnica combina a utilização de ferramentas de validação formal (para obter os caminhos esperados para os pacotes) e ferramentas de registo de pacotes (para obter os caminhos observados) para realizar uma análise diferencial que permite identificar com exactidão qual o equipamento onde ocorreu a falha.