Regras de projeto do ambiente de verificação