Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report

Lars Luthmann, Hendrik Göttmann, Malte Lochau

I/O conformance testing theories (e.g., ioco) are concerned with formally defining when observable output behaviors of an implementation conform to those permitted by a specificati…