Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/6159
Título: | Relative timing verification revisited |
---|---|
Autor/a: | Solé Simó, Marc; Pastor Llorens, Enric |
Otros autores: | Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Universitat Politècnica de Catalunya. ICARUS - Intelligent Communications and Avionics for Robust Unmanned Aerial Systems |
Abstract: | Technical Report UPC-DAC-RR-CAP-2008-39 |
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. |
Materia(s): | -Àrees temàtiques de la UPC::Informàtica::Programació -Formal methods (Computer science) -Mètodes formals (Informàtica) -Programari -- Verificació |
Derechos: | Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipo de documento: | Artículo - Borrador Informe |
Compartir: |