Propriedades de um Detector: Completeness

• Determina a amplitude da detecção

  • Strong Completeness - toda falha irá ser detectada por todos processos
  • Weak Completeness - toda falha será detectada por algum processo

• Suspeitar de todos processos está de acordo com a regra, embora possa estar errado