Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/13099| Título: | Model-checking temporal properties of real-time HTL programs |
| Autor(es): | Carvalho, André Ribeiro de Carvalho, Joel Pinto, Jorge Sousa Sousa, Simão Melo de |
| Palavras-chave: | Model checking Hierarchical timing language Timed automata Formal verification |
| Data: | 2010 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science |
| Resumo(s): | This paper describes a tool-supported method for the formal verification of timed properties of HTL programs, supported by the automated translation tool HTL2XTA, which extracts from a HTL program (i) an Uppaal model and (ii) a set of properties that state the compliance of the model with certain automatically inferred temporal constraints. These can be manually extended with other temporal properties provided by the user. The paper introduces the details of the proposed mechanisms as well as the results of our experimental validation. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/13099 |
| ISBN: | 978-3-642-16560-3 |
| DOI: | 10.1007/978-3-642-16561-0_22 |
| ISSN: | 0302-9743 |
| Versão da editora: | http://www.springerlink.com/content/a1vp357q62673327/ |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Livros e Capítulos de livros |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| htl2xta_isola2010.pdf | Documento principal | 416,06 kB | Adobe PDF | Ver/Abrir |
