Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Yngrid Nicoletti de Azevedo em auxílios à pesquisa e bolsas apoiadas pela FAPESP.
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O projeto de pesquisa visa a implementação de um analisador de traço e geração de diagnósticos para protocolos de comunicação cujo comportamento pode ser representado por uma máquina de estados finita estendida. Com base no modelo de comportamento e no traço de execução a implementação produzirá as seguintes saídas: veredictos sobre as saídas produzidas por uma implementação sob teste, di…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |