RT Book, Section
T1 THOTL: A timed extension of HOTL
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
A1 Rodríguez Laguna, Ismael
AB 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 providea correctness result of THOTL with respect to a general notion of timed conformance.
PB SPRINGER-VERLAG BERLIN
SN 978-3-540-68514-2
YR 2008
FD 2008
LK https://hdl.handle.net/20.500.14352/53126
UL https://hdl.handle.net/20.500.14352/53126
LA eng
NO International Conference on Testomg of Software and Communicating Systems. JUN 10-13, 2008. Tokyo, JAPAN.
NO MEC
DS Docta Complutense
RD 30 jun 2025