Scarica l'app
educalingo
Cercare

Significato di "verifiable" sul dizionario di inglese

Dizionario
DIZIONARIO
section

PRONUNCIA DI VERIFIABLE IN INGLESE

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

CATEGORIA GRAMMATICALE DI VERIFIABLE

sostantivo
aggettivo
verbo
avverbio
pronome
preposizione
congiunzione
determinante
esclamazione
Verifiable è un aggettivo.
L'aggettivo è la parola che accompagna il nome per determinarlo o qualificarlo.

CHE SIGNIFICA VERIFIABLE IN INGLESE

Clicca per vedere la definizione originale di «verifiable» nel dizionario inglese.
Clicca per vedere la traduzione automatica della definizione in italiano.

Verifica formale

Formal verification

Nel contesto di sistemi hardware e software, la verifica formale è l'atto di dimostrare o negare la correttezza degli algoritmi previsti che sottendono un sistema rispetto ad una determinata specifica o proprietà formale, utilizzando metodi formali della matematica. La verifica formale può essere utile nel dimostrare la correttezza di sistemi come: protocolli crittografici, circuiti combinati, circuiti digitali con memoria interna e software espressi come codice sorgente. La verifica di questi sistemi è ottenuta fornendo una prova formale su un modello matematico astratto del sistema, sulla corrispondenza tra il modello matematico e la natura del sistema altrimenti conosciuto dalla costruzione. Esempi di oggetti matematici spesso usati per modellare i sistemi sono: macchine a stato finito, sistemi di transizione etichettati, reti Petri, automatismi temporizzati, automati ibridi, algebra di processo, semantica formale dei linguaggi di programmazione come semantica operativa, semantica denotazionale, semantica assiomatica e 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.

definizione di verifiable nel dizionario inglese

La definizione di verificabile nel dizionario è suscettibile di essere verificata, confermata o documentata.

The definition of verifiable in the dictionary is capable of being verified, confirmed or substantiated.

Clicca per vedere la definizione originale di «verifiable» nel dizionario inglese.
Clicca per vedere la traduzione automatica della definizione in italiano.

PAROLE IN INGLESE CHE FANNO RIMA CON VERIFIABLE


amplifiable
ˈæmplɪˌfaɪəbəl
certifiable
ˈsɜːtɪˌfaɪəbəl
emulsifiable
ɪˌmʌlsɪˈfaɪəbəl
falsifiable
ˈfɔːlsɪˌfaɪəbəl
identifiable
aɪˌdɛntɪˈfaɪəbəl
justifiable
ˈdʒʌstɪˌfaɪəbəl
modifiable
ˈmɒdɪfaɪəbəl
notifiable
ˈnəʊtɪˌfaɪəbəl
pacifiable
ˈpæsɪˌfaɪəbəl
quantifiable
ˈkwɒntɪfaɪəbəl
rectifiable
ˈrɛktɪfaɪəbəl
satisfiable
ˈsætɪsˌfaɪəbəl
solidifiable
səˈlɪdɪˌfaɪəbəl
specifiable
ˈspɛsɪˌfaɪəbəl
unclassifiable
ʌnˌklæsɪˈfaɪəbəl
unidentifiable
ˌʌnaɪˈdentɪˌfaɪəbəl
unjustifiable
ʌnˈdʒʌstɪˌfaɪəbəl
unquantifiable
ʌnˈkwɒntɪˌfaɪəbəl
unsatisfiable
ʌnˈsætɪsˌfaɪəbəl
unverifiable
ʌnˈvɛrɪfaɪəbəl

PAROLE IN INGLESE CHE COMINCIANO COME VERIFIABLE

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

PAROLE IN INGLESE CHE FINISCONO COME VERIFIABLE

able
amiable
appreciable
dependent variable
depreciable
diable
dummy variable
enviable
independent variable
insatiable
liable
negotiable
pliable
random variable
reliable
sociable
undeniable
unreliable
unsociable
variable
viable

Sinonimi e antonimi di verifiable sul dizionario inglese di sinonimi

SINONIMI

SINONIMI DI «VERIFIABLE» IN INGLESE

Le seguenti parole del dizionario di inglese hanno un significato simile o identico a «verifiable» e appartengono alla stessa categoria grammaticale.
sinonimi in inglese di verifiable

PAROLE IN INGLESE ASSOCIATE CON «VERIFIABLE»

verifiable attestable demonstrable evincible provable testable crossword auctions exchanges secret sharing sentence income proof credit bureau evidence absence computation context hardware software verifiable merriam webster sure whether that hypothesis need letter from your doctor file claim short term disability define prove truth testimony confirm substantiate events verified prediction ascertain examination meaning pronunciation translations wiktionary jump navigation search comparative more superlative most definitions word stuart roseman goodbye mean this time some remember previous business which cloud service enabled users adjective british audio able proved pinocchio nearly practical microsoft bryan parno howell research craig gentry mariana raykova secure documents georgia secretary important information regarding

Traduzione di verifiable in 25 lingue

TRADUTTORE
online translator

TRADUZIONE DI VERIFIABLE

Conosci la traduzione di verifiable in 25 lingue con il nostro traduttore inglese multilingue.
Le traduzioni di verifiable verso altre lingue presenti in questa sezione sono il risultato di una traduzione automatica statistica; dove l'unità essenziale della traduzione è la parola «verifiable» in inglese.

Traduttore italiano - cinese

可验证
1 325 milioni di parlanti

Traduttore italiano - spagnolo

verificable
570 milioni di parlanti

inglese

verifiable
510 milioni di parlanti

Traduttore italiano - hindi

निरीक्षण
380 milioni di parlanti
ar

Traduttore italiano - arabo

التحقق منها
280 milioni di parlanti

Traduttore italiano - russo

проверке
278 milioni di parlanti

Traduttore italiano - portoghese

verificável
270 milioni di parlanti

Traduttore italiano - bengalese

প্রতিপাদ্য
260 milioni di parlanti

Traduttore italiano - francese

vérifiable
220 milioni di parlanti

Traduttore italiano - malese

Boleh diverifikasi
190 milioni di parlanti

Traduttore italiano - tedesco

nachprüfbar
180 milioni di parlanti

Traduttore italiano - giapponese

検証できる
130 milioni di parlanti

Traduttore italiano - coreano

검증
85 milioni di parlanti

Traduttore italiano - giavanese

Verifiable
85 milioni di parlanti
vi

Traduttore italiano - vietnamita

kiểm chứng
80 milioni di parlanti

Traduttore italiano - tamil

சரிபார்க்க
75 milioni di parlanti

Traduttore italiano - marathi

तपासण्यायोग्य
75 milioni di parlanti

Traduttore italiano - turco

doğrulanabilir
70 milioni di parlanti

Traduttore italiano - italiano

verificabile
65 milioni di parlanti

Traduttore italiano - polacco

weryfikowalne
50 milioni di parlanti

Traduttore italiano - ucraino

перевірці
40 milioni di parlanti

Traduttore italiano - rumeno

verificabile
30 milioni di parlanti
el

Traduttore italiano - greco

επαληθεύσιμα
15 milioni di parlanti
af

Traduttore italiano - afrikaans

verifieerbare
14 milioni di parlanti
sv

Traduttore italiano - svedese

verifierbar
10 milioni di parlanti
no

Traduttore italiano - norvegese

verifiserbar
5 milioni di parlanti

Tendenze d'uso di verifiable

TENDENZE

TENDENZE D'USO DEL TERMINE «VERIFIABLE»

Il termine «verifiable» è abbastanza utilizzato e occupa la posizione 36.675 del nostro elenco di termini più utilizzati del dizionario di inglese.
0
100%
FREQUENZA
Abbastanza usato
83
/100
Nella mappa precedente si riflette la frequenza di suo del termine «verifiable» nei diversi paesi.
Principali tendenze di ricerca e usi comuni di verifiable
Elenco delle principali ricerche fatte dagli utenti per accedere al nostro dizionario di inglese online ed espressioni più utilizzate con la parola «verifiable».

FREQUENZA D'USO DEL TERMINE «VERIFIABLE» NEL TEMPO

Il grafico rappresenta l'evoluzione annuale della frequenza d'uso della parola «verifiable» negli ultimi 500 anni. La sua implementazione si basa sull'analisi della frequenza della comparsa del termine «verifiable» nelle fonti stampate digitalizzate dalle inglese pubblicate dal 1500 ad oggi.

Citazioni, bibliografia in inglese e attualità su verifiable

ESEMPI

6 CITAZIONI IN INGLESE CON «VERIFIABLE»

Citazioni e frasi famose con la parola verifiable.
1
John Burroughs
If we take science as our sole guide, if we accept and hold fast that alone which is verifiable, the old theology must go.
2
Gerald Edelman
Science is imagination in the service of the verifiable truth, and that service is indeed communal. It cannot be rigidly planned. Rather, it requires freedom and courage and the plural contributions of many different kinds of people who must maintain their individuality while giving to the group.
3
Remy de Gourmont
Man associates ideas not according to logic or verifiable exactitude, but according to his pleasure and interests. It is for this reason that most truths are nothing but prejudices.
4
Glenn Greenwald
I personally think honestly disclosing rather than hiding one's subjective values makes for more honest and trustworthy journalism. But no journalism - from the most stylistically 'objective' to the most brazenly opinionated - has any real value unless it is grounded in facts, evidence, and verifiable data.
5
Dean Ornish
A valid scientific theory is predictive, verifiable, and replicable. To me, that's beautiful.
6
Talcott Parsons
The implications of these considerations justify the statement that all empirically verifiable knowledge even the commonsense knowledge of everyday life - involves implicitly, if not explicitly, systematic theory in this sense.

10 LIBRI IN INGLESE ASSOCIATI CON «VERIFIABLE»

Scopri l'uso di verifiable nella seguente selezione bibliografica. Libri associati con verifiable e piccoli estratti per contestualizzare il loro uso nella letteratura.
1
Verifiable Programming
Software -- Software Engineering. Verifiable Programming is concerned with the techniques of reasoning about program specification.
Ole-Johan Dahl, 1992
2
Principles of Verifiable RTL Design: A Functional Coding ...
The first edition of Principles of Verifiable RTL Design offered a common sense method for simplifying and unifying assertion specification by creating a set of predefined specification modules that could be instantiated within the designer ...
Lionel Bening, Harry D. Foster, 2001
3
VoteBox: A Tamper-evident, Verifiable Voting Machine
This work uniquely demonstrates how these disparate approaches can be used in concert to increase assurance in a voting system; the resulting design also offers a number of pragmatic benefits that can help reduce the frequency and impact of ...
Daniel Robert Sandler, 2009
4
Interactive and Verifiable Web Services Composition, ...
The work described above contributed to the design and implementation of MoSCoE---an open-source platform for modeling and executing complex Web services (http://www.moscoe.org).
Jyotishman Pathak, 2007
5
Papers in Philosophical Logic:
SPECIAL COMPOSITIONAL PRINCIPLE. REFORMULATED. If V,, . . . are verifiable and D is directly verifiable, and if T(Vh . . . ) is any truth-functional compound of the Vs. then unless it is analytic, the disjunction 'T(V:, . . . ) or D' also is verifiable ...
David Lewis, 1998
6
Knowledge and Mind: A Philosophical Introduction
Given this, consider the only two options to reach the skeptical conclusion: it's either verifiable or it's not. Let's consider each option. Suppose that C1, i.e., the claim that you can't know how things really are outside of you, is unverifiable. Then ...
Andrew Brook, Robert Stainton
7
Philosophical Analysis in the Twentieth Century: The dawn of ...
ATTEMPT 5 S is directly verifiable iff (a) S is an observation statement; or (b) S by itself, or in conjunction with one or more observation statements P, Q, R, . . . , logically entails an observation statement that is not entailed by P, Q, R, . . . alone .
Scott Soames, 2003
8
Knowledge and Critical Pedagogy: An Introduction
Empirically verifiable knowledge includes: what the eye sees, what the ear hears, what one can count, what can be expressed mathematically, etc. Critical complex analysts contend to the contrary that many aspects of the social, cultural, ...
Joe L. Kincheloe, 2008
9
Metaphysical Investigations
To say, however, that every word and sentence has a meaning is not to say that every word is applicable to some empirical phenomenon or that every sentence is empirically verifiable or falsifiable. Strictly speaking, the sentence "Material ...
Ramon M. Lemos, 1988
10
Mind, Matter and Method: Essays in Philosophy and Science in ...
Then using these we may show of any statement S whatever that either it or its negation is verifiable, as follows. Let G1 and .§ be the negations of O1 and S respectively. Then (under Ayer's definition) (5102 v O38 is directly verifiable, because ...
Paul K. Feyerabend, Grover Maxwell, 1966

10 NOTIZIE DOVE SI INCLUDE IL TERMINE «VERIFIABLE»

Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino verifiable nel contesto delle seguenti notizie.
1
Cochran worries if Iran Deal is “verifiable and enforceable”
"Iran cannot be allowed to gain nuclear weapons capabilities, and I am skeptical whether the agreement reached by the Obama administration is truly verifiable ... «Yall Politics, lug 15»
2
Key to the Iran deal: What's verifiable?
President Obama says the nuclear deal with Iran is built on verification, not trust. But can the U.S. and the other great power signatories verify that Iran — a ... «USA TODAY, lug 15»
3
Verifiable Deception Used to Attack Donald Trump on Illegal …
Arguments ripe with deception, trickery, and data manipulation are being presented to attack Donald Trump's assertions on illegal immigrants who come from ... «Breitbart News, lug 15»
4
Defense Secretary Says Iran Nuclear Deal Must Be Verifiable
The international nuclear deal with Iran now in the final stages of negotiation must be verifiable and cannot be based on trust, Defense Secretary Ashton Carter ... «Washington Free Beacon, lug 15»
5
Clinton: Hopeful US can reach 'verifiable deal' with Iran
GLEN, N.H. (AP) — Hillary Rodham Clinton said Saturday that she remains hopeful the U.S. can reach a "strong verifiable deal" to curb Iran's nuclear weapons ... «Yahoo News UK, lug 15»
6
Take time for a verifiable Iran nuclear deal
A rushed, bad deal is more dangerous than no deal at all. So negotiators are right to extend the deadline to reach agreement with Iran on its nuclear program. «Sacramento Bee, lug 15»
7
Any nuclear deal with Iran must be verifiable: France
Jerusalem (AFP) - French Foreign Minister Laurent Fabius said Sunday any nuclear deal with Iran must be verifiable as he prepared to meet his Iranian ... «Yahoo News, giu 15»
8
Still no guarantees on verifiable Iran nuclear deal: Fabius
"We want a deal with Iran but ... the deal must be verifiable, solid, robust and today we don't have guarantees on this," he said. "A deal that cannot be verified ... «Reuters, giu 15»
9
International Bar Association Launches Mobile App that Captures …
... a new tool for documenting and reporting human rights atrocities in a secure and verifiable way so the information can be used as evidence in a court of law. «Business Wire, giu 15»
10
Obama says 'verifiable' deal with Iran the 'best way forward'
Obama says 'verifiable' deal with Iran the 'best way forward'. In Israeli TV interview, US president says there is no military option to contain Tehran's nuclear ... «The Times of Israel, giu 15»

RIFERIMENTO
« EDUCALINGO. Verifiable [in linea]. Disponibile <https://educalingo.com/it/dic-en/verifiable>. Apr 2024 ».
Scarica l'app educalingo
en
dizionario inglese
Scopri tutto ciò che è nascosto nelle parole su
indice
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