On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails.
Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique, que du code de circuits électroniques.
Wikimedia Foundation. 2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Verification formelle de Wikipédia en français (auteurs)
Vérification formelle — On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique … Wikipédia en Français
Vérification (homonymie) — Vérification peut renvoyer à: la théorie vérificationniste de la signification du Cercle de Vienne; la Vérification formelle Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Ce document provient de «… … Wikipédia en Français
Vérification — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Vérification peut renvoyer à : la théorie vérificationniste de la signification du Cercle de Vienne ; la vérification formelle. Catégorie :… … Wikipédia en Français
Methode formelle (informatique) — Méthode formelle (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou… … Wikipédia en Français
Méthode formelle — (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou des matériels… … Wikipédia en Français
Méthode formelle (informatique) — Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou des matériels électroniques, afin … Wikipédia en Français
Vérité formelle — Vérité Pour les articles homonymes, voir La Vérité … Wikipédia en Français
Vérifiable — Vérification formelle On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour… … Wikipédia en Français
Vérificabilité — Vérification formelle On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour… … Wikipédia en Français
Méthodes formelles — Méthode formelle (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou… … Wikipédia en Français
