Programas De Computador Verificacao Teses
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Monitoração dinâmica de asserções para depuração em silício
The increasing demand for shorter time-to-market, combined with increased complexity and performance requirements put a tremendous pressure on post-silicon debug, which is usually the last step prior to chip release. In contrast to pre-silicon techniques, postsilicon debug have two main limitations, controllability and observability, which cause the failure
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2011
-
2. Algoritmo eficiente de análise estática para procurar ataques do tipo variáveis contaminadas
Ataques do tipo variáveis contaminadas ocorrem quando entradas de programas são manipuladas maliciosamente a afim de explorar falhas de segurança inerentes ao software afetado. Ataques deste tipo são comuns em linguagens de scripts como PHP, originadas no lado do servidor. Em 1997, Orbaek e Palsberg formalizaram o problema de detectar essas explorações
Publicado em: 2010
-
3. Método de refinamento machina
The Abstract State Machine (ASM) has been used as language for formal specification to various systems due to the high level of abstraction and the mathematical rigor. It facilitates to understand the modeled system and to formally verify properties. Using an ASM language, is possible to make a high level specification, called Ground Model, to be transformed
Publicado em: 2007
-
4. Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
Problemas de Escalonamento (scheduling) ocorrem em ambientes de escassez de recursos. O problema consiste em determinar um compartilhamento dos recursos entre as tarefas que necessitam usá-los. Esse compartilhamento, ou escalonamento, consiste de uma seqüência de execução das máquinas ao longo do tempo, que deve estar em conformidade com um critério d
Publicado em: 2002