No desenvolvimento de um software seguro, ou seja, projetado e instalado em um sistema de segurança crítica (que pode causar danos e/ou ferimentos em caso de falhas),
- A. erros no projeto podem ser provenientes de erros na especificação do sistema.
- B. falhas de hardware são totalmente absorvidas por um software seguro.
- C. há um limite máximo no tamanho do código fonte gerado.
- D. não se utilizam instruções de acesso à memória do computador.
- E. os programas já são escritos diretamente em código de máquina, não se utilizando compiladores.