A adiciona verificações redundantes de erro em pontos aleatórios do código para evitar falhas inesperadas.
B emprega assertivas para validar entradas externas em qualquer parte do código, independentemente de sua origem, e em qualquer estágio de execução.
C implementa contratos explícitos, entre métodos e seus consumidores, definindo pré-condições, pós-condições e invariantes para garantir o correto funcionamento do sistema.
D incorpora mecanismos de confiabilidade ao final do processo de implementação e documentação, objetivando a corretude dos programas.
E utiliza exceções para capturar e corrigir automaticamente qualquer erro de entrada nos métodos.