Vérifiable

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 vérifier du code informatique, que du code de circuits électroniques.

Ce document provient de « V%C3%A9rification formelle ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Vérifiable de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • vérifiable — [ verifjabl ] adj. • 1791; h. XIVe; de vérifier ♦ Qui peut être vérifié. ⇒ contrôlable. « Que rien ne soit admis qui ne soit humainement vérifiable » (Hugo). Hypothèse vérifiable. ⊗ CONTR. Invérifiable. ● vérifiable adjectif Qui peut être vérifié …   Encyclopédie Universelle

  • verifiable — UK US /ˈverɪfaɪəbl/ adjective ► if a statement, number, etc. is verifiable, it can be checked and proved to be correct: verifiable details/evidence/facts »The inquiry found no verifiable evidence of document or data falsification. »The treaty… …   Financial and business terms

  • verifiable — [ver′ə fī΄ə bəl] adj. capable of verification; that can be proved to be true or accurate verifiably adv. * * * ver·i·fi·a·ble (vĕr ə fīʹə bəl) adj. Possible to verify: a verifiable account of the incident; verifiable sales data.   ver i·fi… …   Universalium

  • Verifiable — Ver i*fi a*ble, a. Capable of being verified; confirmable. Bp. Hall. [1913 Webster] …   The Collaborative International Dictionary of English

  • verifiable — index accurate, ascertainable, authentic, certain (positive), deductible (provable), determinable ( …   Law dictionary

  • verifiable — [ver′ə fī΄ə bəl] adj. capable of verification; that can be proved to be true or accurate verifiably adv …   English World dictionary

  • verifiable — [[t]ve̱rɪfa͟ɪ͟əb(ə)l[/t]] ADJ Something that is verifiable can be proved to be true or genuine. This is not a romantic notion but verifiable fact... It is crucial that all documents presented are authentic and easily verifiable …   English dictionary

  • verifiable — nonsubjective onsubjective adj. undistorted by emotion or personal bias; based on observable phenomena; objective. Opposite of {subjective}. [Narrower terms: {clinical, detached, unemotional}; {impersonal, neutral}; {verifiable ] Syn: objective.… …   The Collaborative International Dictionary of English

  • VÉRIFIABLE — adj. des deux genres Qui peut être vérifié, soumis à une vérification. Hypothèse vérifiable …   Dictionnaire de l'Academie Francaise, 8eme edition (1935)

  • verifiable — adjective a) Able to be verified or confirmed. Do you have verifiable evidence to support that claim? b) Able to be qualified by a Boolean expression. Ant …   Wiktionary

  • verifiable — The state of being capable of confirmation and objective assessment. *Audit evidence should be verifiable in the sense of being capable of review by different auditors who may reach similar conclusions on the basis of the evidence. However,… …   Auditor's dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”