| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 683.52 KB | Adobe PDF |
Orientador(es)
Resumo(s)
Computing architectures become more and more complex and sometimes unpredictable.
Verification techniques showed their limit, essentially when timing properties, available only at run-time, are involved.
Testing improves the confidence but does not prove the correctness of the system in all possible situations.
Descrição
Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.