inria-00098836, version 1

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

Ramzi Azaiez () ^a, 1

N° 99-R-209 || azaiez99a (1999)

• a –  UNIVERSITE HENRI POINCARE
• 1:  PROTHEO (INRIA Lorraine - LORIA)
• 
  INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France

Bibliographic reference

• Type of document: Research reports
• Domain: Computer Science/Other
• Title: 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.
• Full text language: French
• Report type: Stage
• Page number: 59 p
• Publication date: 1999
• Keywords: reactive systems – automatic verification – theorem-proving – lustre – spike || systèmes réactifs – vérification automatique – démonstration de théorèmes – spike
• Comment: Stage de DEA. Rapport de stage.
• Internal note: 99-R-209 || azaiez99a

• inria-00098836, version 1
• http://hal.inria.fr/inria-00098836
• oai:hal.inria.fr:inria-00098836
• From: Publications Loria <>
• Submitted on: Tuesday, 26 September 2006 08:39:02
• Updated on: Thursday, 28 September 2006 15:22:44