A brief introduction to THOTL
| dc.book.title | Automated Technology for Verification and Analysis | |
| dc.contributor.author | García Merayo, María De Las Mercedes | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.contributor.author | Rodríguez Laguna, Ismael | |
| dc.contributor.editor | Namjoshi, KS | |
| dc.contributor.editor | Yoneda, T | |
| dc.contributor.editor | Higashino, T | |
| dc.contributor.editor | Okamura, Y | |
| dc.date.accessioned | 2023-06-20T13:38:13Z | |
| dc.date.available | 2023-06-20T13:38:13Z | |
| dc.date.issued | 2007 | |
| dc.description | 5th International Symposium on Automated Technology for Verification and Analysis. OCT 22-25, 2007. Tokyo, JAPAN. | |
| dc.description.abstract | In this paper we extend HOTL (Hypotheses and Observations Testing Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of observations (i.e., results of test applications) allows to claim that the IUT conforms to the specification if a specific set of hypotheses is assumed. In this paper we adapt HOTL to cope with the inclusion of time issues. In addition, we show the soundness and completeness of the new framework, that we call THOTL, with respect to a general notion of timed conformance. | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | MEC | |
| dc.description.sponsorship | Marie Curie | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/15797 | |
| dc.identifier.doi | 10.1007/978-3-540-75596-8_35 | |
| dc.identifier.isbn | 978-3-540-75595-1 | |
| dc.identifier.officialurl | http://www.springerlink.com/content/fr41164130g3rq73/fulltext.pdf | |
| dc.identifier.relatedurl | http://www.springerlink.com/ | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53131 | |
| dc.issue.number | 4762 | |
| dc.language.iso | eng | |
| dc.page.final | 510 | |
| dc.page.initial | 501 | |
| dc.publication.place | Berlín | |
| dc.publisher | SPRINGER-VERLAG BERLIN | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.relation.projectID | WEST/FAST TIN2006-15578-C02-01 | |
| dc.relation.projectID | MRTN-CT-2003-505121/TAROT | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 519.8 | |
| dc.subject.ucm | Investigación operativa (Matemáticas) | |
| dc.subject.unesco | 1207 Investigación Operativa | |
| dc.title | A brief introduction to THOTL | |
| dc.type | conference paper | |
| dcterms.references | Merayo, M.G., Núñez, M., Rodríguez, I.: THOTL: A timed extension of HOTL (2007), Available at http://kimba.mat.ucm.es/testing/papers/thotl.pdf Rodríguez, I., Merayo, M.G., Núñez, M.: HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming (in press, 2007) http://dx.doi.org/10.1016/j.jlap.2007.03.002 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 28ca46b8-d1eb-42e6-a6e2-f31b193b055b | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication | 28429d40-53cb-4bb3-a3f6-82ec557a34ed | |
| relation.isAuthorOfPublication.latestForDiscovery | 26825d32-1d0a-4bbb-b145-e014e22f1a88 |
Download
Original bundle
1 - 1 of 1