Validation of formal specifications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

Validation of formal specifications


TLA, (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. The purpose of this paper is to develop an animator and a model checker, both based on a subset of TLA, and illustrates how we can combine these tools to validate TLA specifications.


Other [cs.OH]
Fichier principal
Vignette du fichier
99-R-280.pdf (79.63 Ko) Télécharger le fichier

Dates and versions

inria-00108115 , version 1 (19-10-2006)


  • HAL Id : inria-00108115 , version 1


Dominique Méry, Yassine Mokhtari. Validation of formal specifications. AAAI'99, Fall Symposium, Nov 1999, none, 5 p. ⟨inria-00108115⟩
77 View
73 Download


Gmail Facebook Twitter LinkedIn More