%0 Book Section
%T THOTL: A timed extension of HOTL
publisher SPRINGER-VERLAG BERLIN
%D 2008
%U 978-3-540-68514-2
%@ https://hdl.handle.net/20.500.14352/53126
%X 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.
%~