Discuter:Model checking

Un article de Wikipédia, l'encyclopédie libre.

	Model checking fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

	Tâches à accomplir pour Model checking	modifier • suivre • rafraîchir • aide
	Pour créer la liste des tâches à accomplir pour cet article, vous pouvez : Soit cliquer sur ce lien rouge, y insérer une liste de tâches à faire (par exemple sous forme de liste à puces), puis sauvegarder. Soit modifier cette page-ci et compléter le modèle comme ceci : {{todo|Liste de tâches à faire}}. Voir aussi la page d'aide.

Dommage de donner un titre en anglais à ce concept. Ne sommes-nous pas dans la partie française de l'encyclopédie? Le terme énumération de modèle aurait été beaucoup plus adéquat.

Pierre de Lyon 7 décembre 2005 à 20:16 (CET)

1) ce terme est celui utilisé depuis des années, et le changer pour une encyclopédie de ferait que brouiller les pistes 2) le model-checking consiste à vérifier automatiquement un modèle d'une spécification ou d'un programme, à l'aide d'un algorithme ; ce n'est pas une énumération de modèle (et il n'y a pas obligatoirement d'énumération exhaustive, heureusement !)

ATTENTION !! la technique de model-checking proposée dans cet article est l'algorithme de model-checking généralement utilisé pour la logique LTL, et c'est très loin d'être un cas général !