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çõesPPGSC - Mestrado em Sistemas e Computação

Arquivos

Pacote Original

Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
DiegoCBO.pdf
Tamanho:
551.58 KB
Formato:
Adobe Portable Document Format
Carregando...
Imagem de Miniatura
Baixar