Relative timing verification revisited
Document typeExternal research report
Rights accessOpen Access
Timed verification is a difficult problem. One of the ways in which it can be simplified is by using iterative refinement techniques. Here we investigate the advantages and shortcomings of this approach when combined with relative timing reasoning.
Technical Report UPC-DAC-RR-CAP-2008-39
Is part ofUPC-DAC-RR-CAP-2008-39