A temporal logic for input output symbolic transition systems - Archive ouverte HAL Access content directly
Other Publications Year : 2005

A temporal logic for input output symbolic transition systems

Abstract

In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communications and data in order to tackle communications with system environment. F is then defined as an extension of temporal logic CTL^* (a temporal logic which mixes together the features of Linear Temporal Logic (LTL) and Computational Temporal Logic (CTL)). Three basic properties are established on F: adequacy and preservation of properties along synchronized product and IOSTS refinement.
Not file

Dates and versions

hal-00341981 , version 1 (26-11-2008)

Identifiers

  • HAL Id : hal-00341981 , version 1

Cite

Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A temporal logic for input output symbolic transition systems. 2005. ⟨hal-00341981⟩
83 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More