Animating TLA Specifications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

Animating TLA Specifications

Stephan Merz

Abstract

TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, with the intent to facilitate the communication between domain and solution experts in the design of reactive systems.

Keywords

Domains

Other [cs.OH]
No file

Dates and versions

inria-00099016 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099016 , version 1

Cite

Yassine Mokhtari, Stephan Merz. Animating TLA Specifications. International Conference on Logic for Programming and Automated Reasoning - LPAR'99, Sep 1999, Tbilisi, Georgia, pp.92--110. ⟨inria-00099016⟩
71 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More