Relative timing verification revisited

Solé Simó, Marc; Pastor Llorens, Enric

View/Open

sole.ps (4,726Mb)

View Usage Statistics

Show full item record

Solé Simó, Marc

Pastor Llorens, Enric

Document typeExternal research report

Date issued2008

Rights accessOpen Access

Abstract

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.

Description

Technical Report UPC-DAC-RR-CAP-2008-39

Is part ofUPC-DAC-RR-CAP-2008-39

URIhttp://hdl.handle.net/2117/6159

URL other repositoryhttp://gsi.ac.upc.edu/reports/2008/75/frame.ps

Collections

Departament d'Arquitectura de Computadors - Reports de recerca [161]
ICARUS - Intelligent Communications and Avionics for Robust Unmanned Aerial Systems - Reports de recerca [19]

View Usage Statistics

Show full item record

Files	Description	Size	Format	View
sole.ps		4,726Mb	Postscript	View/Open

Except where otherwise noted, content on this work is licensed under a Creative Commons license: Attribution-NonCommercial-NoDerivs 3.0 Spain

UPCommons. Global access to UPC knowledge