To access the full text documents, please follow this link: 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 - Draft
Report
         

Show full item record

Related documents

Other documents of the same author

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
Herranz Sotoca, Javier; Nin Guerrero, Jordi; Solé Simó, Marc
 

Coordination

 

Supporters