Verified Compilation B Method
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Aplicação do método B ao projeto formal de software embarcado
Este trabalho apresenta um método de projeto proposta para vericação formal do modelo funcional do software até o nível da linguagem assembly. Esse método é fundamentada no método B, o qual foi desenvolvido com o apoio e interesse da multinacional do setor de petróleo e gás British Petroleum (BP). A evolução dessa metodologia tem como objetivo co
Publicado em: 2009