Preuves, modèles et conditions de vérification

Source

Contenu et points à examiner

Quelle affirmation cet élément de preuve soutient-il ?

Ce que vous trouverez

• Les conditions de lecture des éléments de preuve exposés par le Lab.
• Une distinction entre études de source, observations et certificats de modèles finis.
• Le contexte nécessaire pour examiner la portée d’une vérification.

À examiner

• La propriété exacte, les hypothèses et le domaine du modèle.
• Le lien entre la source, l’artefact présenté et la vérification effectuée.
• Les situations laissées en dehors de cette vérification.

Avant de commencer

Choisissez une affirmation précise avant d’ouvrir la preuve. Conservez le modèle et ses conditions avec votre relevé de lecture.

Portée et limites

Une propriété vérifiée pour un modèle fini reste liée à ce modèle et à ses hypothèses. Son application à un autre programme ou déploiement demande une justification supplémentaire.