<  Back to the Polytechnique Montréal portal

Synthèse assistée de moniteurs d'assertions à partir d'une méthodologie d'encapsulation d'assertions dans une spécification exécutable

Jean-François Lemire

Masters thesis (2003)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (8MB)
Cite this document: Lemire, J.-F. (2003). Synthèse assistée de moniteurs d'assertions à partir d'une méthodologie d'encapsulation d'assertions dans une spécification exécutable (Masters thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/7131/
Show abstract Hide abstract

Abstract

La vérification fonctionnelle -- Formulation du problème de la vérification -- Preuve d'exactitude d'un modèle -- La vérification fonctionnelle -- Limites de la vérification fonctionnelle.

Open Access document in PolyPublie
Additional Information: Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/57166705
Department: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:05
Last Modified: 25 Aug 2021 14:57
PolyPublie URL: https://publications.polymtl.ca/7131/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only