Résumé de section

    • Ce chapitre 14 présente le model-checking et la vérification avec une attention pour les aspects temporisés.

    • Équipe pédagogique

      Contributeur : Silvano Dal Zilio
      Intervenant : Silvano Dal Zilio

    • Model-Checking et le temps


    • Pour revenir en arrière

      Chapitre 8 sur la vérification des SED de l'édition 2024