Specification et preuve de systemes dynamiques

par BRUNO DUTERTRE

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 1992

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Signal est un langage synchrone, a flots de donnees, destine a la specification de systemes reactifs et temps-reel. Cette these etudie des methodes et outils de preuve de programmes signal. Un codage polynomial, dans le corps des entiers modulo trois, decrit les aspects logiques et temporels des programmes; demontrer une propriete d'un systeme reactif consiste a verifier, au moyen d'outils de calcul formel, une propriete algebrique equivalente. La representation des fonctions polynomiales par graphes de decision ternaires permet une mise en uvre efficace de ces calculs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (196 p.)
  • Annexes : 60 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I-DUT
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1992/38
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : G 1. DUT.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.