A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
| Autores | Barrocas, Samuel Lincoln Magalhães | |
|---|---|---|
| Orientador | Oliveira, Marcel Vinicius Medeiros | |
| Data | 2018-02-22 | |
| Palavras-chave | Métodos formais Verificação de código Testes de Software Síntese de código Circus | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/25443 | |
| Coleções | PPGSC - Doutorado em Sistemas e Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- SamuelLincolnMagalhaesBarrocas_TESE.pdf
- Tamanho:
- 3.93 MB
- Formato:
- Adobe Portable Document Format
Carregando...