Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/13099Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Carvalho, André Ribeiro de | - |
| dc.contributor.author | Carvalho, Joel | - |
| dc.contributor.author | Pinto, Jorge Sousa | - |
| dc.contributor.author | Sousa, Simão Melo de | - |
| dc.date.accessioned | 2011-07-27T11:13:03Z | - |
| dc.date.available | 2011-07-27T11:13:03Z | - |
| dc.date.issued | 2010 | - |
| dc.identifier.isbn | 978-3-642-16560-3 | - |
| dc.identifier.issn | 0302-9743 | por |
| dc.identifier.uri | https://hdl.handle.net/1822/13099 | - |
| dc.description.abstract | 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. | por |
| dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) - Projets Rescue (PTDC/EIA/65862/2006), FAVAS (PTDC/EIA-CCO/105034/2008), LIACC-UP Programa de Financiamento Plurianual | por |
| dc.language.iso | eng | por |
| dc.publisher | Springer | por |
| dc.rights | openAccess | por |
| dc.subject | Model checking | por |
| dc.subject | Hierarchical timing language | por |
| dc.subject | Timed automata | por |
| dc.subject | Formal verification | por |
| dc.title | Model-checking temporal properties of real-time HTL programs | por |
| dc.type | conferencePaper | - |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | http://www.springerlink.com/content/a1vp357q62673327/ | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 191 | por |
| oaire.citationEndPage | 205 | por |
| oaire.citationIssue | PART 2 | por |
| oaire.citationTitle | Leveraging Applications of Formal Methods, Verification, and Validation : proceedingas 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 | por |
| oaire.citationVolume | 2 | por |
| dc.identifier.doi | 10.1007/978-3-642-16561-0_22 | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Lecture Notes in Computer Science | por |
| sdum.conferencePublication | Leveraging Applications of Formal Methods, Verification, and Validation : proceedingas 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 | por |
| 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 |
