Descrição
Desenvolve e verifica modelos formais usando o Método B para software e sistemas de alta garantia. Ele é útil para engenheiros que trabalham com especificação formal, obrigações de prova e processos de desenvolvimento críticos para segurança.
Ferramentas de métodos formais podem aumentar confiança, mas não substituem revisão de domínio nem testes. Mantenha especificações, provas e artefatos gerados sob controle de versão.