Please enable JavaScript.
Coggle requires JavaScript to display documents.
L01, L02, L03 - Coggle Diagram
L01
Métodos Formais - Uso de técnicas matemáticas para especificação, desenvolvimento e verificação de sistemas de software e hardware
-
-
Estilos de Especificação - Modelos abstratos e comportamentais baseados em lógica e teoria dos conjuntos
-
L02
Ferramentas
Atelier-B
Ferramenta industrial principal para desenvolvimento, checagem e prova do Método B.
-
-
-
L03
-
Processo / Prova
-
Prova (PO) - Condições matemáticas geradas para garantir que a implementação respeita a especificação abstrata
-
-