Lade App herunter
educalingo
Suchen

Bedeutung von "verifiable" im Wörterbuch Englisch

Wörterbuch
WÖRTERBUCH
section

AUSSPRACHE VON VERIFIABLE AUF ENGLISCH

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

GRAMMATIKALISCHE KATEGORIE VON VERIFIABLE

Substantiv
Adjektiv
Verb
Adverb
Pronomen
Präposition
Konjunktion
Determinante
Ausruf
Verifiable ist ein Adjektiv.
Das Adjektiv ist das Wort, das das Nomen begleitet, um es genauer zu bestimmen oder zu bewerten.

WAS BEDEUTET VERIFIABLE AUF ENGLISCH

Hier klicken, um die ursprüngliche Definition von «verifiable» auf Englisch zu sehen.
Hier klicken, um die automatische Übersetzung der Definition auf Deutsch zu sehen.

Formale Verifikation

Formal verification

Im Rahmen von Hard- und Software-Systemen ist die formale Verifikation der Vorgang, die Korrektheit der beabsichtigten Algorithmen, die einem System in Bezug auf eine bestimmte formale Spezifikation oder Eigenschaft unterliegen, unter Verwendung formaler Methoden der Mathematik zu beweisen oder zu widerlegen. Eine formale Verifikation kann bei der Prüfung der Korrektheit von Systemen hilfreich sein, wie zB: kryptographische Protokolle, kombinatorische Schaltungen, digitale Schaltungen mit internem Speicher und Software, die als Quellcode ausgedrückt wird. Die Verifikation dieser Systeme erfolgt durch die Bereitstellung eines formalen Beweises für ein abstraktes mathematisches Modell des Systems, wobei die Korrespondenz zwischen dem mathematischen Modell und der Art des Systems ansonsten durch die Konstruktion bekannt ist. Beispiele für mathematische Objekte, die häufig für Modellsysteme verwendet werden, sind: Finite-State-Maschinen, etikettierte Übergangssysteme, Petrinetze, zeitgesteuerte Automaten, Hybridautomaten, Prozessalgebra, formale Semantik von Programmiersprachen wie operative Semantik, Dotationssemantik, axiomatische Semantik und Hoare-Logik. 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.

Definition von verifiable im Wörterbuch Englisch

Die im Wörterbuch verifizierbare Definition kann verifiziert, bestätigt oder begründet werden.

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

Hier klicken, um die ursprüngliche Definition von «verifiable» auf Englisch zu sehen.
Hier klicken, um die automatische Übersetzung der Definition auf Deutsch zu sehen.

WÖRTER AUF ENGLISCH, DIE REIMEN WIE 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

WÖRTER AUF ENGLISCH, DIE ANFANGEN WIE VERIFIABLE

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

WÖRTER AUF ENGLISCH, DIE BEENDEN WIE 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

Synonyme und Antonyme von verifiable auf Englisch im Synonymwörterbuch

SYNONYME

SYNONYME VON «VERIFIABLE» AUF ENGLISCH

Die folgenden Wörter im Wörterbuch Englisch haben eine ähnliche oder gleiche Bedeutung wie «verifiable» und gehören zu derselben grammatikalischen Kategorie.
Synonyme auf Englisch von verifiable

MIT «VERIFIABLE» VERWANDTE WÖRTER IM WÖRTERBUCH ENGLISCH

verifiable attestable demonstrable evincible provable testable crossword auctions exchanges secret sharing sentence income proof credit bureau evidence absence computation context hardware software systems formal verification proving disproving correctness intended algorithms underlying 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

Übersetzung von verifiable auf 25 Sprachen

ÜBERSETZER
online translator

ÜBERSETZUNG VON VERIFIABLE

Erfahre, wie die Übersetzung von verifiable auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.
Die Übersetzungen von verifiable auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «verifiable» in Englisch ist.

Übersetzer Deutsch - Chinesisch

可验证
1.325 Millionen Sprecher

Übersetzer Deutsch - Spanisch

verificable
570 Millionen Sprecher

Englisch

verifiable
510 Millionen Sprecher

Übersetzer Deutsch - Hindi

निरीक्षण
380 Millionen Sprecher
ar

Übersetzer Deutsch - Arabisch

التحقق منها
280 Millionen Sprecher

Übersetzer Deutsch - Russisch

проверке
278 Millionen Sprecher

Übersetzer Deutsch - Portugiesisch

verificável
270 Millionen Sprecher

Übersetzer Deutsch - Bengalisch

প্রতিপাদ্য
260 Millionen Sprecher

Übersetzer Deutsch - Französisch

vérifiable
220 Millionen Sprecher

Übersetzer Deutsch - Malaysisch

Boleh diverifikasi
190 Millionen Sprecher

Übersetzer Deutsch - Deutsch

nachprüfbar
180 Millionen Sprecher

Übersetzer Deutsch - Japanisch

検証できる
130 Millionen Sprecher

Übersetzer Deutsch - Koreanisch

검증
85 Millionen Sprecher

Übersetzer Deutsch - Javanisch

Verifiable
85 Millionen Sprecher
vi

Übersetzer Deutsch - Vietnamesisch

kiểm chứng
80 Millionen Sprecher

Übersetzer Deutsch - Tamil

சரிபார்க்க
75 Millionen Sprecher

Übersetzer Deutsch - Marathi

तपासण्यायोग्य
75 Millionen Sprecher

Übersetzer Deutsch - Türkisch

doğrulanabilir
70 Millionen Sprecher

Übersetzer Deutsch - Italienisch

verificabile
65 Millionen Sprecher

Übersetzer Deutsch - Polnisch

weryfikowalne
50 Millionen Sprecher

Übersetzer Deutsch - Ukrainisch

перевірці
40 Millionen Sprecher

Übersetzer Deutsch - Rumänisch

verificabile
30 Millionen Sprecher
el

Übersetzer Deutsch - Griechisch

επαληθεύσιμα
15 Millionen Sprecher
af

Übersetzer Deutsch - Afrikaans

verifieerbare
14 Millionen Sprecher
sv

Übersetzer Deutsch - Schwedisch

verifierbar
10 Millionen Sprecher
no

Übersetzer Deutsch - Norwegisch

verifiserbar
5 Millionen Sprecher

Tendenzen beim Gebrauch von verifiable

TENDENZEN

TENDENZEN BEIM GEBRAUCH DES BEGRIFFES «VERIFIABLE»

Der Begriff «verifiable» wird häufig gebraucht und belegt den Platz 36.675 auf unserer Liste der meistgebrauchten Begriffe des Wörterbuch auf Englisch.
0
100%
HÄUFIGKEIT
Häufig gebraucht
83
/100
Auf der vorherigen Grafik wird die Häufigkeit der Nutzung des Begriffs «verifiable» in den verschiedenen Ländern angezeigt.
Wichtigste Tendenzen bei der Suche und dem allgemeinen Gebrauch von verifiable
Liste der wichtigsten Suchen, die von den Nutzern bei dem Zugang zu unserem Wörterbuch Englisch durchgeführt wurden und die meistgebrauchten Ausdrücke mit dem Wort «verifiable».

HÄUFIGKEIT DER BENUTZUNG DES BEGRIFFS «VERIFIABLE» IM VERLAUF DER ZEIT

Die Grafik druckt die jährlich Entwicklung der Nutzungshäufigkeit des Worts «verifiable» in den letzten 500 Jahren aus. Seine Implementierung basiert auf der Analyse der Häufigkeit des Auftretens des Begriffs «verifiable» in den digitalisierten gedruckten Quellen auf Englisch seit dem Jahr 1500 bis heute.

Zitate, Bibliographie und Aktuelles übe verifiable auf Englisch

BEISPIELE

6 ZITATE AUF ENGLISCH MIT «VERIFIABLE»

Zitate und Redensarten mit dem Wort 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 BÜCHER, DIE MIT «VERIFIABLE» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von verifiable in der folgenden bibliographischen Auswahl. Bücher, die mit verifiable im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
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 NACHRICHTEN, IN DENEN DER BEGRIFF «VERIFIABLE» VORKOMMT

Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff verifiable im Kontext der folgenden Nachrichten gebraucht wird.
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, Jul 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, Jul 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, Jul 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, Jul 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, Jul 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, Jul 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, Jun 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, Jun 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, Jun 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, Jun 15»

REFERENZ
« EDUCALINGO. Verifiable [online] <https://educalingo.com/de/dic-en/verifiable>, Mai 2024 ».
Laden Sie die educalingo App herunter
en
Wörterbuch Englisch
Entdecke mehr Wörter auf
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