Specifying and Proving Timing Properties with TIOA Tools

Abstract

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)

Topics

3 Figures and Tables

Slides referencing similar topics