Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/6159

Relative timing verification revisited
Solé Simó, Marc; Pastor Llorens, Enric
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Universitat Politècnica de Catalunya. ICARUS - Sistemes Aviònics i de Comunicació Intel·ligents per Avions no Tripulats Fiables
Technical Report UPC-DAC-RR-CAP-2008-39
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.
Àrees temàtiques de la UPC::Informàtica::Programació
Formal methods (Computer science)
Mètodes formals (Informàtica)
Programari -- Verificació
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Article - Esborrany
Informe
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Pastor Llorens, Enric; Solé Simó, Marc; López, Juan; Royo Chic, Pablo; Barrado Muxí, Cristina
Solé Simó, Marc; Pastor Llorens, Enric; Pérez Batlle, Marcos; Santamaria Barnadas, Eduard; Barrado Muxí, Cristina
Herranz Sotoca, Javier; Nin Guerrero, Jordi; Solé Simó, Marc
Herranz Sotoca, Javier; Nin Guerrero, Jordi; Solé Simó, Marc
Sanchez Charles, David; Nin Guerrero, Jordi; Solé Simó, Marc; Muntés Mulero, Victor
 

Coordinación

 

Patrocinio