Biblioteca de la Universidad Complutense de Madrid

A brief introduction to THOTL


García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) A brief introduction to THOTL. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (4762). SPRINGER-VERLAG BERLIN, Berlín, pp. 501-510. ISBN 978-3-540-75595-1

[img] PDF
Restringido a Sólo personal autorizado del repositorio


URL Oficial:


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.

Tipo de documento:Sección de libro
Información Adicional:

5th International Symposium on Automated Technology for Verification and Analysis. OCT 22-25, 2007. Tokyo, JAPAN.

Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15797

Merayo, M.G., Núñez, M., Rodríguez, I.: THOTL: A timed extension of HOTL (2007), Available at

Rodríguez, I., Merayo, M.G., Núñez, M.: HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming (in press, 2007)

Depositado:29 Jun 2012 08:33
Última Modificación:16 Sep 2015 15:10

Sólo personal del repositorio: página de control del artículo