Please enable JavaScript.

Coggle requires JavaScript to display documents.

Gerenciando Projetos - Coggle Diagram

- - - - Formalizando no modelo corrente.
      - Type Checking e examinando obrigações de prova.
      - Entendendo os requerimentos.
    - - Static error, bisibilidade ou erro de arquitetura
      - Muitas Obrigações de prova ou Obrigações de prova muito complexas
- - - - Provadas iterativamente
      - Passo anterior (Gerar provas)