| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 683.52 KB | Adobe PDF |
Advisor(s)
Abstract(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.
Description
Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.