2 papers
cs.FL2019
Checking Timed Bisimulation with Bounded Zone-History Graphs -- Technical Report
Lars Luthmann, Hendrik Göttmann, Isabelle Bacher +1
Timed automata (TA) are a well-established formalism for specifying discrete-state/continuous-time behavior of time-critical reactive systems. Concerning the fundamental analysis p…
cs.LO2019
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…