A produção de software correto sempre foi um dos grandes desafios da Ciência da Computação. No entanto, o tamanho do software, a velocidade da máquina e os requisitos envolvidos combinam-se de tal forma que a complexidade resultante excede à capacidade humana de antever situações inesperadas. Portanto o software não tem que ser apenas correto, mas também robusto para sobreviver a tais eventos.Este trabalho discute vários aspectos envolvidos com a correção e a robustez do software e propõe uma abordagem técnica prover a robustez, mesclando conceitos provenientes da área de correção com os de tolerância a falhas de software. Uma vantagem adicional da técnica é que ela eleva a confiança na correçãoOs pilares deste trabalho são o uso de asserções, organizadas sob a forma de contrato de software como uma forma de perseguir a sua correção, associado à técnica de bloco de restauração, como uma forma de contornar situações inesperadas. A comunicação que uma asserção não foi satisfeita é feita com o emprego do mecanismo de tratamento de exceçãoA linguagem de programação C++ é utilizada como veículo para ilustrar a técnica proposta