Descarcă aplicația
educalingo
Caută

Înțelesul "verifiability" în dicționarul Engleză

Dicționar
DICȚIONAR
section

PRONUNȚIA VERIFIABILITY ÎN ENGLEZĂ

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

CATEGORIA GRAMATICALĂ A VERIFIABILITY

substantiv
adjectiv
verb
adverb
pronume
prepoziție
conjuncție
determinant
exclamație

CE ÎNSEAMNĂ VERIFIABILITY ÎN ENGLEZĂ?

Apasă pentru a vedea definiția originală «verifiability» în dicționarul Engleză dictionary.
Apasă pentru a vedea traducerea automată a definiției în Română.

Verificare oficială

Formal verification

În contextul sistemelor hardware și software, verificarea formală este actul de a demonstra sau de a neglija corectitudinea algoritmilor destinați unui sistem cu privire la o anumită specificație sau proprietate formală, folosind metode formale de matematică. Verificarea formală poate fi utilă pentru a demonstra corectitudinea sistemelor cum ar fi: protocoalele criptografice, circuitele combinate, circuitele digitale cu memorie internă și software-ul exprimat ca sursă. Verificarea acestor sisteme se face prin furnizarea unei dovezi oficiale asupra unui model matematic abstract al sistemului, a corespondenței dintre modelul matematic și natura sistemului, care este altfel cunoscut prin construcție. Exemple de obiecte matematice adesea folosite pentru modelul sistemelor sunt: ​​mașini de stare finită, sisteme de tranziție etichetate, rețele Petri, automate temporizate, automate hibride, algebră de proces, semantică formală a limbajelor de programare, cum ar fi semantica operațională, semantica denotatională, semantica axiomatică și logica 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.

Definiția verifiability în dicționarul Engleză

Definirea verificabilității în dicționar este calitatea sau starea de a fi verificate, confirmate sau justificate.

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

Apasă pentru a vedea definiția originală «verifiability» în dicționarul Engleză dictionary.
Apasă pentru a vedea traducerea automată a definiției în Română.

CUVINTE ÎN ENGLEZĂ CARE RIMEAZĂ CU 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ɪ

CUVINTE ÎN ENGLEZĂ CARE ÎNCEP CA VERIFIABILITY

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

CUVINTE ÎN ENGLEZĂ CARE SE SFÂRȘESC CA VERIFIABILITY

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

Sinonimele și antonimele verifiability în dicționarul de sinonime Engleză

SINONIME

Traducerea «verifiability» în 25 de limbi

TRADUCĂTOR
online translator

TRADUCEREA VERIFIABILITY

Găsește traducerea verifiability în 25 de limbi cu traducătorul nostru multilingv înEngleză.
Traducerile verifiability din Engleză în alte limbi prezentate în prezenta secțiune au fost obținute prin traducerea statistică automată; unde unitatea esențială a traducerii este cuvântul «verifiability» în Engleză.

Traducător din Engleză - Chineză

核查
1,325 milioane de vorbitori

Traducător din Engleză - Spaniolă

verificabilidad
570 milioane de vorbitori

Engleză

verifiability
510 milioane de vorbitori

Traducător din Engleză - Hindi

verifiability
380 milioane de vorbitori
ar

Traducător din Engleză - Arabă

التحقق
280 milioane de vorbitori

Traducător din Engleză - Rusă

проверяемость
278 milioane de vorbitori

Traducător din Engleză - Portugheză

verificabilidade
270 milioane de vorbitori

Traducător din Engleză - Bengali

যাচাই
260 milioane de vorbitori

Traducător din Engleză - Franceză

vérifiabilité
220 milioane de vorbitori

Traducător din Engleză - Malaeză

Verifiability
190 milioane de vorbitori

Traducător din Engleză - Germană

Prüfbarkeit
180 milioane de vorbitori

Traducător din Engleză - Japoneză

検証可能性
130 milioane de vorbitori

Traducător din Engleză - Coreeană

검증 가능성
85 milioane de vorbitori

Traducător din Engleză - Javaneză

Verifiability
85 milioane de vorbitori
vi

Traducător din Engleză - Vietnameză

kiểm chứng
80 milioane de vorbitori

Traducător din Engleză - Tamilă

ஆராய்வது
75 milioane de vorbitori

Traducător din Engleză - Marathi

सत्यापन
75 milioane de vorbitori

Traducător din Engleză - Turcă

doğrulanabilirliği
70 milioane de vorbitori

Traducător din Engleză - Italiană

verificabilità
65 milioane de vorbitori

Traducător din Engleză - Poloneză

sprawdzalności
50 milioane de vorbitori

Traducător din Engleză - Ucraineană

проверяемость
40 milioane de vorbitori

Traducător din Engleză - Română

verificabilitate
30 milioane de vorbitori
el

Traducător din Engleză - Greacă

επαληθευσιμότητα
15 milioane de vorbitori
af

Traducător din Engleză - Afrikaans

verifieerbaarheid
14 milioane de vorbitori
sv

Traducător din Engleză - Suedeză

kontrollerbarhet
10 milioane de vorbitori
no

Traducător din Engleză - Norvegiană

etterprøvbarhet
5 milioane de vorbitori

Direcții de utilizare a verifiability

DIRECȚII

TENDINȚE DE FOLOSIRE A TERMENULUI «VERIFIABILITY»

0
100%
FRECVENȚĂ
Întrebuințat în mod regulat
63
/100
Imaginea de mai sus arată frecvența de întrebuințare a termenului «verifiability» în diferite țări.
Tendințele principale de căutare și întrebuințările obișnuite ale verifiability
Lista principalelor căutări efectuate de utilizatori pentru accesarea dicționarului nostru online înEngleză și cele mai întrebuințate expresii cu cuvântul «verifiability».

FRECVENȚA DE ÎNTREBUINȚARE A TERMENULUI «VERIFIABILITY» DE-A LUNGUL TIMPULUI

Graficul exprimă evoluția anuală a frecvenței de întrebuințare a cuvântului «verifiability» în ultimii 500 de ani. Implementarea acestuia se bazează pe analizarea frecvenței de apariție a termenului «verifiability» în sursele digitalizate tipărite în Engleză între anul 1500 și până în prezent.

Exemple de întrebuințări în literatura, citatele și știrile în Engleză despre verifiability

EXEMPLE

CĂRȚI ÎN ENGLEZĂ ÎN LEGĂTURĂ CU «VERIFIABILITY»

Descoperă întrebuințarea verifiability în următoarea selecție bibliografică. Cărți în legătură cu verifiability și extrase din aceasta pentru a furniza contextul de întrebuințare al acestuia în literatura Engleză.
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

ȘTIRI NOI CARE INCLUD TERMENUL «VERIFIABILITY»

Află ce ziare naționale și internaționale au scris despre și cum este întrebuințat termenul verifiability în contextul următoarelor știri.
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, Iul 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, Iul 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, Iul 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, Iul 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, Iul 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, Iun 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, Iun 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, Apr 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, Mar 15»

REFERINȚE
« EDUCALINGO. Verifiability [online]. Disponibil <https://educalingo.com/ro/dic-en/verifiability>. Iun 2026 ».
Descarcă aplicația educalingo
en
dicționar Engleză
Descoperă tot ce se ascunde în cuvinte pe
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