Provando que eventos catastróficos possuem probabilidade matemática inferior a um em um bilhão por hora de voo.
Árvores de falhas estruturam falhas críticas como eventos de topo decompostos através de portas lógicas E e OU até chegarem a falhas físicas de componentes básicos.
Conjuntos mínimos de corte identificam as menores combinações de falhas que provocam o desastre. Para funções catastróficas, cada conjunto deve exigir 2 ou 3 falhas simultâneas independentes.