Vérification par interprétation abstraite guidée par une propriété temporelle

by Damien Massé

Doctoral thesis in Informatique

Under the supervision of Radhia Cousot.

defended on 2002

in Palaiseau, Ecole polytechnique .

  • Alternative Title

    Temporal property-driven verification by abstract interpretation


  • Abstract not available

Consult library

Version is available as a paper

Informations

  • Details : 1 vol. (95 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 38 réf.

Where is this thesis?

  • Library : École polytechnique. Bibliothèque Centrale.
  • Available for PEB
  • Library : École polytechnique. Bibliothèque Centrale.
  • Available for PEB
  • Odds : G2A 279/2002/MAS
  • Library : École polytechnique. Bibliothèque Centrale.
  • Available for PEB
  • Odds : G2A 279/2002/MAS/MF
See the Sudoc catalog libraries of higher education and research.