Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, d...
Na minha lista:
Autor principal: | Tavares, Cláudia Fernanda Oliveira Kiermes |
---|---|
Outros Autores: | Déharbe, David Boris Paul |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/17984 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Prova automática de satisfatibilidade módulo Teoria aplicada ao método B/
por: Tavares, Cláudia Fernanda O. K., et al.
Publicado em: (2022) -
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
por: Fragoso, Paulo Ewerton Gomes
Publicado em: (2016) -
Modeling in Event-B : system and software engineering /
por: Abrial, Jean-Raymond.
Publicado em: (2022) -
Aplicação do método B ao projeto formal de software embarcado
por: Medeiros Júnior, Valério Gutemberg de
Publicado em: (2015) -
The B-book : assigning programs to meanings /
por: Abrial, Jean-Raymond.
Publicado em: (2022)