Specifying and Proving Timing Properties with TIOA Tools


This paper introduces the TIOA specification language for timed systems, for example, communication protocols with timeouts or timing-sensitive distributed algorithms. TIOA specifications denote Timed Input/Output Automata, which are composable state machines that evolve using both discrete transitions and continuous trajectories. This paper also outlines a… (More)


3 Figures and Tables

Slides referencing similar topics