Téléchargez l'application
educalingo
Rechercher

Signification de "verifiability" dans le dictionnaire anglais

Dictionnaire
DICTIONNAIRE
section

PRONONCIATION DE VERIFIABILITY EN ANGLAIS

verifiability  [ˌvɛrɪfaɪəˈbɪlɪtɪ] play
facebooktwitterpinterestwhatsapp

CATÉGORIE GRAMMATICALE DE VERIFIABILITY

substantif
adjectif
verbe
adverbe
pronom
préposition
conjonction
déterminant
exclamation
Verifiability est un substantif.
Le nom ou substantif est un type de mot déterminant la réalité. Les substantifs désignent toutes les choses : personnes, objets, sensations, sentiments, etc.

QUE SIGNIFIE VERIFIABILITY EN ANGLAIS

Cliquez pour voir la définition originale de «verifiability» dans le dictionnaire anglais.
Cliquez pour voir la traduction automatique de la définition en français.

Vérification formelle

Formal verification

Dans le contexte des systèmes matériels et logiciels, la vérification formelle est l'acte de prouver ou de réfuter l'exactitude des algorithmes prévus sous-jacents à un système par rapport à une certaine spécification ou propriété formelle, en utilisant des méthodes formelles de mathématiques. La vérification formelle peut être utile pour prouver l'exactitude des systèmes tels que: protocoles cryptographiques, circuits combinatoires, circuits numériques avec mémoire interne et logiciels exprimés en code source. La vérification de ces systèmes se fait en fournissant une preuve formelle sur un modèle mathématique abstrait du système, la correspondance entre le modèle mathématique et la nature du système étant connue par la construction. Les exemples d'objets mathématiques souvent utilisés dans les systèmes modèles sont: les machines d'états finis, les systèmes de transition marqués, les réseaux de Petri, les automates chronométrés, les automates hybrides, l'algèbre des processus, la sémantique formelle des langages de programmation tels que la sémantique opérationnelle, la sémantique dénotationnelle, la sémantique axiomatique et la logique Hoare. In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code. The verification of these systems is done by providing a formal proof on an abstract mathematical model of the system, the correspondence between the mathematical model and the nature of the system being otherwise known by construction. Examples of mathematical objects often used to model systems are: finite state machines, labelled transition systems, Petri nets, timed automata, hybrid automata, process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic.

définition de verifiability dans le dictionnaire anglais

La définition de la vérifiabilité dans le dictionnaire est la qualité ou l'état d'être capable d'être vérifié, confirmé ou justifié.

The definition of verifiability in the dictionary is the quality or state of being capable of being verified, confirmed or substantiated.

Cliquez pour voir la définition originale de «verifiability» dans le dictionnaire anglais.
Cliquez pour voir la traduction automatique de la définition en français.

MOTS EN ANGLAIS RIMANT AVEC VERIFIABILITY


ability
əˈbɪlɪtɪ
accessibility
əkˌsɛsɪˈbɪlɪtɪ
accountability
əˌkaʊntəˈbɪlɪtɪ
availability
əˌveɪləˈbɪlɪtɪ
capability
ˌkeɪpəˈbɪlɪtɪ
compatibility
kəmˌpætɪˈbɪlɪtɪ
disability
ˌdɪsəˈbɪlɪtɪ
durability
ˌdjʊərəˈbɪlɪtɪ
eligibility
ˌɛlɪdʒɪˈbɪlɪtɪ
flexibility
ˌflɛksɪˈbɪlɪtɪ
inability
ˌɪnəˈbɪlɪtɪ
liability
ˌlaɪəˈbɪlɪtɪ
mobility
məʊˈbɪlɪtɪ
nobility
nəʊˈbɪlɪtɪ
possibility
ˌpɒsɪˈbɪlɪtɪ
probability
ˌprɒbəˈbɪlɪtɪ
reliability
rɪˌlaɪəˈbɪlɪtɪ
responsibility
rɪˌspɒnsəˈbɪlɪtɪ
stability
stəˈbɪlɪtɪ
visibility
ˌvɪzɪˈbɪlɪtɪ

MOTS EN ANGLAIS COMMENÇANT COMME VERIFIABILITY

veridical
veridicality
veridically
veridicous
verier
veriest
verifiable
verifiableness
verifiably
verification
verification principle
verificative
verificatory
verified
verifier
verifies
verify
verily
verisimilar
verisimilarly

MOTS EN ANGLAIS FINISSANT COMME VERIFIABILITY

agility
credibility
facility
feasibility
fertility
functionality
hostility
humility
inevitability
instability
merchantability
profitability
suitability
susceptibility
sustainability
tranquility
usability
utility
variability
versatility
vulnerability

Synonymes et antonymes de verifiability dans le dictionnaire anglais de synonymes

SYNONYMES

MOTS EN ANGLAIS EN RAPPORT AVEC «VERIFIABILITY»

verifiability concept accounting theory meaning means that information principle truth criterion context hardware software systems formal verification proving disproving correctness intended algorithms underlying system with respect certain specification verifiability define prove evidence testimony confirm substantiate events verified prediction ascertain examination philosophy encyclopedia britannica philosophical doctrine fundamental school logical positivism holding statement meaningful only either empirically pronunciation translations merriam webster proposal claim early positivists according which requirement meaningfulness factual susceptibility openstreetmap wiki

Traducteur en ligne avec la traduction de verifiability à 25 langues

TRADUCTEUR
online translator

TRADUCTION DE VERIFIABILITY

Découvrez la traduction de verifiability dans 25 langues grâce à notre traducteur anglais multilingue.
Dans cette section, les traductions de verifiability dans d'autres langues ont été obtenues par traduction automatique statistique, où l'unité essentielle de la traduction est le mot «verifiability» en anglais.

Traducteur Français - chinois

核查
1325 millions de locuteurs

Traducteur Français - espagnol

verificabilidad
570 millions de locuteurs

anglais

verifiability
510 millions de locuteurs

Traducteur Français - hindi

verifiability
380 millions de locuteurs
ar

Traducteur Français - arabe

التحقق
280 millions de locuteurs

Traducteur Français - russe

проверяемость
278 millions de locuteurs

Traducteur Français - portugais

verificabilidade
270 millions de locuteurs

Traducteur Français - bengali

যাচাই
260 millions de locuteurs

Traducteur Français - français

vérifiabilité
220 millions de locuteurs

Traducteur Français - malaisien

Verifiability
190 millions de locuteurs

Traducteur Français - allemand

Prüfbarkeit
180 millions de locuteurs

Traducteur Français - japonais

検証可能性
130 millions de locuteurs

Traducteur Français - coréen

검증 가능성
85 millions de locuteurs

Traducteur Français - javanais

Verifiability
85 millions de locuteurs
vi

Traducteur Français - vietnamien

kiểm chứng
80 millions de locuteurs

Traducteur Français - tamoul

ஆராய்வது
75 millions de locuteurs

Traducteur Français - marathi

सत्यापन
75 millions de locuteurs

Traducteur Français - turc

doğrulanabilirliği
70 millions de locuteurs

Traducteur Français - italien

verificabilità
65 millions de locuteurs

Traducteur Français - polonais

sprawdzalności
50 millions de locuteurs

Traducteur Français - ukrainien

проверяемость
40 millions de locuteurs

Traducteur Français - roumain

verificabilitate
30 millions de locuteurs
el

Traducteur Français - grec

επαληθευσιμότητα
15 millions de locuteurs
af

Traducteur Français - afrikaans

verifieerbaarheid
14 millions de locuteurs
sv

Traducteur Français - suédois

kontrollerbarhet
10 millions de locuteurs
no

Traducteur Français - norvégien

etterprøvbarhet
5 millions de locuteurs

Tendances d'usage de verifiability

TENDANCES

TENDANCES D'USAGE DU TERME «VERIFIABILITY»

Le terme «verifiability» est communément utilisé et occupe la place 80.396 de notre liste de termes les plus utilisés du dictionnaire anglais.
0
100%
FRÉQUENCE
Communément utilisé
63
/100
Sur la carte précédente est reflétée la fréquence d'utilisation du terme «verifiability» dans les différents pays.
Tendances de recherche principales et usages générales de verifiability
Liste des principales recherches réalisées par les utilisateurs pour accéder à notre dictionnaire anglais en ligne et des expressions les plus utilisées avec le mot «verifiability».

FRÉQUENCE D'UTILISATION DU TERME «VERIFIABILITY» SUR LA PÉRIODE

Le graphique montre l'évolution annuelle de la fréquence d'utilisation du mot «verifiability» durant les 500 dernières années. Son implémentation est basée sur l'analyse de la fréquence d'apparition du terme «verifiability» sur les sources imprimées numériques anglaises publiées depuis l'année 1500 jusqu'aujourd'hui.

Exemples d'utilisation du mot verifiability en anglais

EXEMPLES

10 LIVRES EN ANGLAIS EN RAPPORT AVEC «VERIFIABILITY»

Découvrez l'usage de verifiability dans la sélection bibliographique suivante. Des livres en rapport avec verifiability et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.
1
Philosophy of Science for Nursing Practice: Concepts and ...
One can interpret the verifiability principle in two ways, what Ayer refers to as strong and weak verifiability (Ayer, 1952/2000). Strong verifiability requires the truth of a claim to be, in principle at least, conclusively verifiable, that is, “ conclusively ...
Michael D. Dahnke PhD, H. Michael Dreher PhD, RN, FAAN, 2010
2
Data Protection in a Profiled World
of a decision, the stronger the verifiability requirements. This requires classifications of both decisions and verifiability properties. Such verifiability requirements may also enable assurance that forms of profiling that are considered illegal—e.g. ...
Serge Gutwirth, Yves Poullet, Paul de Hert, 2010
3
The Limits of Logical Empiricism: Selected Papers of Arthur Pap
Verifiability. This section will be opened by a representative quotation from an early defense of physicalism by Carnap (Carnap 1932a). It is only fair to Carnap, however, to remind the reader that the physicalistic thesis maintained by Car- nap ...
Arthur Pap, Alfons Keupink, Sanford Shieh, 2006
4
Information and Communications Security: 12th International ...
Thus, verifiability ensures a voter can link her vote to the result, while anonymity ensures no one can link a voter to her preference. Yet, there is an apparent contradiction between the verifiability and anonymity, since verifiability seems to  ...
Miguel Soriano, Sihan Qing, Javier López, 2010
5
The Concept of Meaning
Early proposals concerning verifiability criteria, such as that every meaningful statement could be translated into statements reporting sensory experience or observations or that from any meaningful statement such statements could always be ...
Hill, Thomas E, 2014
6
Public Key Cryptography -- PKC 2011: 14th International ...
In our constructions, we need FE (CP/KP-ABE) to have either verifiability or delegatability. In this section we define both properties. While the former is a new one defined in this paper, the latter one was already defined in [21,5,7] for the ...
Dario Catalano, Nelly Fazio, Rosario Gennaro, 2011
7
The procedings of the 7th European conference on ...
(Fujioka 1992) pioneered the verifiability in e-Voting protocols by forcing voters to involve more than one round. Voter has to participate in the counting stage by checking that his vote is listed correctly in the tallying list, and then sending a part  ...
D.S.J. Remenyi, 2007
8
Proceedings of the 7th European Conference on e-Government
(Fujioka 1992) pioneered the verifiability in e-Voting protocols by forcing voters to involve more than one round. Voter has to participate in the counting stage by checking that his vote is listed correctly in the tallying list, and then sending a part  ...
Dan Remenyi
9
Mind, Matter, and Method
The only way in which Church's criticism can be taken as a critique of the verifiability criterion is by construing it as an indication that the concept of empirical verifiability is inexplicable in principle. This seems like a harsh conclusion to draw ...
Paul Feyerabend, Grover Maxwell, 1966
10
Innovating Government: Normative, Policy and Technological ...
We have already seen that verifiability can mean two quite different things in voting: verifiability of the technology, or verifiability of the results. In future discussions on electronic voting, consensus must be reached about what is required for ...
Simone van der Hof, Marga M. Groothuis, 2011

10 ACTUALITÉS CONTENANT LE TERME «VERIFIABILITY»

Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme verifiability est employé dans le contexte des actualités suivantes.
1
'Secret Side Deals' on Iran Accord Are New Republican Target
“The merits of this agreement hinge on its verifiability,” said Senator John McCain, the committee chairman. “And yet, we cannot even read key documents ... «Bloomberg, juil 15»
2
Leading Nonproliferation Think-Tank Casts Doubt on Verifiability of …
The verification mechanisms described in the Joint Comprehensive Plan of Action (JCPOA), as the nuclear deal between Iran and the P5+1 nations is known, ... «TheTower.org, juil 15»
3
German politicians and business leaders voice relief over Iran …
"This verifiability is essential not only for the security of Israel, but that of the entire region." Jung also spoke of a "historic outcome" – if the agreement worked. «Deutsche Welle, juil 15»
4
Voting by phone, computer: Not coming anytime soon
... includes implementing a system called "end-to-end verifiability" that would check that the votes were, in fact, recorded and entered into the final tally of votes. «CNN, juil 15»
5
The Limits of Science - Verification and Falsification
[i] From Wittgenstein they obtained the verifiability principle. Which meant that in order for a statement or proposition to be meaningful it has to be capable of ... «News24, juil 15»
6
EC appointment: Mahama hasn't broken the law – Kwesi Pratt
“I have said before that prudence requires transparency and verifiability in the appointment of the EC members, especially the Chair” he stressed. The lawyer ... «Citifmonline, juin 15»
7
New EC Boss appointment lacks transparency – Prof. Asare
“I have said before that prudence requires transparency and verifiability in the appointment of the EC members especially the chairman of the EC.” Prof. Asare ... «GhanaWeb, juin 15»
8
Credit card style e-voting system could beat electoral fraud
This way they say, “verifiability is guaranteed with statistically high probability” -- even if all these machines are controlled by the adversary and privacy is ... «SC Magazine UK, mai 15»
9
The Iran Deal and Its Consequences
Critics question the verifiability of these constraints and their longer-term impact on regional and world stability. The historic significance of the agreement and ... «Wall Street Journal, avril 15»
10
Superior Court of California First Court to Achieve End-to-End E …
The Court cited e-SignLive's robust security and verifiability as deciding factors when selecting the solution. This included e-SignLive's unique ability to secure ... «Business Wire, mars 15»

RÉFÉRENCE
« EDUCALINGO. Verifiability [en ligne]. Repéré à <https://educalingo.com/fr/dic-en/verifiability>. Avril 2024 ».
Téléchargez l'application educalingo
en
dictionnaire anglais
Découvrez tout ce que les mots cachent sur
index
a b c d e f g h i j k l m n o p q r s t u v w x y z