Descarga la app
educalingo
Buscar

Significado de "verifiability" en el diccionario de inglés

Diccionario
DICCIONARIO
section

PRONUNCIACIÓN DE VERIFIABILITY EN INGLÉS

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

CATEGORIA GRAMATICAL DE VERIFIABILITY

sustantivo
adjetivo
verbo
adverbio
pronombre
preposición
conjunción
determinante
exclamación
Verifiability es un sustantivo.
El nombre o sustantivo es aquel tipo de palabras cuyo significado determina la realidad. Los sustantivos nombran todas las cosas: personas, objetos, sensaciones, sentimientos, etc.

QUÉ SIGNIFICA VERIFIABILITY EN INGLÉS

Pulsa para ver la definición original de «verifiability» en el diccionario inglés.
Pulsa para ver la traducción automática de la definición en español.

Verificación formal

Formal verification

En el contexto de los sistemas de hardware y software, la verificación formal es el acto de probar o refutar la corrección de los algoritmos previstos subyacentes a un sistema con respecto a cierta especificación o propiedad formal, utilizando métodos formales de matemáticas. La verificación formal puede ser útil para probar la corrección de sistemas tales como: protocolos criptográficos, circuitos combinacionales, circuitos digitales con memoria interna y software expresado como código fuente. La verificación de estos sistemas se realiza proporcionando una prueba formal sobre un modelo matemático abstracto del sistema, la correspondencia entre el modelo matemático y la naturaleza del sistema que de otro modo se conocería por construcción. Ejemplos de objetos matemáticos utilizados con frecuencia para modelar sistemas son: máquinas de estados finitos, sistemas de transición marcados, redes de Petri, autómatas temporizados, autómatas híbridos, álgebra de procesos, semántica formal de lenguajes de programación como semántica operativa, semántica denotacional, semántica axiomática y lógica 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.

definición de verifiability en el diccionario inglés

La definición de verificabilidad en el diccionario es la calidad o el estado de ser capaz de ser verificado, confirmado o corroborado.

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

Pulsa para ver la definición original de «verifiability» en el diccionario inglés.
Pulsa para ver la traducción automática de la definición en español.

PALABRAS DEL INGLÉS QUE RIMAN CON 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ɪ

PALABRAS DEL INGLÉS QUE EMPIEZAN COMO VERIFIABILITY

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

PALABRAS DEL INGLÉS QUE TERMINAN COMO VERIFIABILITY

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

Sinónimos y antónimos de verifiability en el diccionario inglés de sinónimos

SINÓNIMOS

PALABRAS DEL INGLÉS RELACIONADAS CON «VERIFIABILITY»

verifiability concept accounting theory meaning means that information principle truth criterion context hardware software systems formal verification proving disproving correctness intended algorithms underlying 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 important data

Traductor en línea con la traducción de verifiability a 25 idiomas

TRADUCTOR
online translator

TRADUCCIÓN DE VERIFIABILITY

Conoce la traducción de verifiability a 25 idiomas con nuestro traductor multilingüe.
Las traducciones de verifiability presentadas en esta sección han sido obtenidas mediante traducción automática estadística a partir del idioma inglés.

Traductor inglés - chino

核查
1.325 millones de hablantes

Traductor inglés - español

verificabilidad
570 millones de hablantes

inglés

verifiability
510 millones de hablantes

Traductor inglés - hindi

verifiability
380 millones de hablantes
ar

Traductor inglés - árabe

التحقق
280 millones de hablantes

Traductor inglés - ruso

проверяемость
278 millones de hablantes

Traductor inglés - portugués

verificabilidade
270 millones de hablantes

Traductor inglés - bengalí

যাচাই
260 millones de hablantes

Traductor inglés - francés

vérifiabilité
220 millones de hablantes

Traductor inglés - malayo

Verifiability
190 millones de hablantes

Traductor inglés - alemán

Prüfbarkeit
180 millones de hablantes

Traductor inglés - japonés

検証可能性
130 millones de hablantes

Traductor inglés - coreano

검증 가능성
85 millones de hablantes

Traductor inglés - javanés

Verifiability
85 millones de hablantes
vi

Traductor inglés - vietnamita

kiểm chứng
80 millones de hablantes

Traductor inglés - tamil

ஆராய்வது
75 millones de hablantes

Traductor inglés - maratí

सत्यापन
75 millones de hablantes

Traductor inglés - turco

doğrulanabilirliği
70 millones de hablantes

Traductor inglés - italiano

verificabilità
65 millones de hablantes

Traductor inglés - polaco

sprawdzalności
50 millones de hablantes

Traductor inglés - ucraniano

проверяемость
40 millones de hablantes

Traductor inglés - rumano

verificabilitate
30 millones de hablantes
el

Traductor inglés - griego

επαληθευσιμότητα
15 millones de hablantes
af

Traductor inglés - afrikáans

verifieerbaarheid
14 millones de hablantes
sv

Traductor inglés - sueco

kontrollerbarhet
10 millones de hablantes
no

Traductor inglés - noruego

etterprøvbarhet
5 millones de hablantes

Tendencias de uso de la palabra verifiability

TENDENCIAS

TENDENCIAS DE USO ACTUALES DEL TÉRMINO «VERIFIABILITY»

El término «verifiability» se utiliza regularmente y ocupa la posición 80.396 de nuestra lista de términos más usados del diccionario de inglés.
0
100%
FRECUENCIA
Regularmente usado
63
/100
En el mapa anterior se refleja la frecuencia de uso del término «verifiability» en los diferentes paises.
Principales tendencias de búsqueda y usos comunes de verifiability
Listado de las príncipales búsquedas realizadas por los usuarios para acceder a nuestro diccionario de inglés en línea y expresiones más usadas con la palabra «verifiability».

FRECUENCIA DE USO DEL TÉRMINO «VERIFIABILITY» A LO LARGO DEL TIEMPO

El gráfico expresa la evolución anual de la frecuencia de uso de la palabra «verifiability» en los últimos 500 años. Su implementación se basa en el análisis de la frecuencia de aparición del término «verifiability» en las fuentes impresas digitalizadas del inglés publicadas desde el año 1500 hasta la actualidad.

Citas, bibliografía en inglés y actualidad sobre verifiability

EJEMPLOS DE USO

10 LIBROS DEL INGLÉS RELACIONADOS CON «VERIFIABILITY»

Descubre el uso de verifiability en la siguiente selección bibliográfica. Libros relacionados con verifiability y pequeños extractos de los mismos para contextualizar su uso en la literatura.
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 NOTICIAS EN LAS QUE SE INCLUYE EL TÉRMINO «VERIFIABILITY»

Conoce de qué se habla en los medios de comunicación nacionales e internacionales y cómo se emplea el término verifiability en el contexto de las siguientes noticias.
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, Jul 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, Jul 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, Jul 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, Jul 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, Jul 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, Jun 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, Jun 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, May 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, Abr 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»

REFERENCIA
« EDUCALINGO. Verifiability [en línea] . Disponible en <https://educalingo.com/es/dic-en/verifiability>. May 2024 ».
Descarga la app de educalingo
en
diccionario inglés
Descubre todo lo que esconden las palabras en
índice
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