Vérification des Systèmes Réactifs Dans le Modèle Synchrone - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

Vérification des Systèmes Réactifs Dans le Modèle Synchrone

Abstract

Notre travail s'inscrit dans le cadre de la verification, basee sur une approche deductive, des systemes reactifs decrits a l'aide du langage synchrone LUSTRE. Partant d'une description executable, on genere une representation du systeme dans le langage de specification de SPIKE. Le passage entre les deux formalismes tient compte des specificites des systemes consideres et se fait dans l'objectif d'aboutir a une methode de verification completement automatique de systemes utilisant des variables a valeurs infinies.
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00098836 , version 1

Cite

Ramzi Azaiez. Vérification des Systèmes Réactifs Dans le Modèle Synchrone. [Stage] 99-R-209 || azaiez99a, 1999, 59 p. ⟨inria-00098836⟩
39 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More