Deciding difference logic in a Nelson-Oppen combination framework
Autores | Oliveira, Diego Caminha Barbosa de | |
---|---|---|
Orientador | Déharbe, David Boris Paul | |
Editor | Universidade Federal do Rio Grande do Norte | |
Data | 2007-11-07 | |
Palavras-chave | Decision procedure Difference logic Formal methods SMT - Solvers Nelson oppen | |
Citação | ||
Resumo | ||
URI | https://repositorio.ufrn.br/jspui/handle/123456789/17987 |
Coleções | PPGSC - Mestrado em Sistemas e Computação |
---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- DiegoCBO.pdf
- Tamanho:
- 551.58 KB
- Formato:
- Adobe Portable Document Format
Carregando...