García Merayo, María De Las MercedesNúñez García, ManuelRodríguez Laguna, Ismael2023-06-202023-06-202008978-3-540-68514-2https://hdl.handle.net/20.500.14352/53126International Conference on Testomg of Software and Communicating Systems. JUN 10-13, 2008. Tokyo, JAPAN.THOTL represents a conservative extension of HOTL (Hypotheses and Observations Testing Logic) to deal with systems where time plays a fundamental role. We adapt some of the HOTL rules to cope with the new framework. In addition, we introduce several specific hypotheses and rules to appropriately express time assumptions. We provide a correctness result of THOTL with respect to a general notion of timed conformance.engbook parthttp://www.springerlink.com/content/kv31133106448l83/fulltext.pdfhttp://www.springerlink.com/restricted access519.8Finite-state machinesSystemsAutomataHypothesesLogicComputer ScienceTheory & MethodsInvestigación operativa (Matemáticas)1207 Investigación Operativa