Avionicos Provas

correspondentes do sistema são consistentes. O método B é, provavelmente, o método transformacional formal mais extensamente usado (ABRIAL, 2005; WORDSWORTH, 1996); ele foi usado para o desenvolvimento de sistemas de controle de trens e softwares aviônicos. Os proponentes dos métodos formais afirmam que o uso desses métodos garante sistemas mais seguros e confiáveis. A verificação formal demonstra que o programa desenvolvido cumpre suas especificações e que erros de implementação não…