Скачать приложение
educalingo
Поиск

Значение слова "verifiability" в словаре английский языка

Словарь
СЛОВАРЬ
section

ПРОИЗНОШЕНИЕ СЛОВА VERIFIABILITY

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

ГРАММАТИЧЕСКАЯ КАТЕГОРИЯ СЛОВА VERIFIABILITY

существительное
прилагательное
глагол
наречие
местоимение
предлог
союз
определяющее слово
восклицание

ЧТО ОЗНАЧАЕТ СЛОВО VERIFIABILITY

Нажмите, чтобы посмотреть исходное определение слова «verifiability» в словаре английский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.

Формальная проверка

Formal verification

В контексте аппаратных и программных систем формальная проверка - это акт доказательства или опровержения правильности предполагаемых алгоритмов, лежащих в основе системы, в отношении определенной формальной спецификации или свойства с использованием формальных методов математики. Формальная проверка может быть полезной при проверке правильности таких систем, как: криптографические протоколы, комбинационные схемы, цифровые схемы с внутренней памятью и программное обеспечение, выраженные в виде исходного кода. Проверка этих систем осуществляется путем предоставления формального доказательства абстрактной математической модели системы, соответствия между математической моделью и характером системы, которая иначе известна по конструкции. Примерами математических объектов, часто используемых для моделирования систем, являются: машины с конечным состоянием, маркированные системы перехода, сети Петри, таймерные автоматы, гибридные автоматы, алгебра процессов, формальная семантика языков программирования, такие как оперативная семантика, денотационная семантика, аксиоматическая семантика и логика Хоар. 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.

Значение слова verifiability в словаре английский языка

Определение проверяемости в словаре - это качество или состояние способности быть подтвержденными, подтвержденными или обоснованными.

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

Нажмите, чтобы посмотреть исходное определение слова «verifiability» в словаре английский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.

СЛОВА, РИФМУЮЩИЕСЯ СО СЛОВОМ 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ɪ

СЛОВА, НАЧИНАЮЩИЕСЯ КАК СЛОВО VERIFIABILITY

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

СЛОВА, ЗАКАНЧИВАЮЩИЕСЯ КАК СЛОВО VERIFIABILITY

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

Синонимы и антонимы слова verifiability в словаре английский языка

СИНОНИМЫ

Перевод слова «verifiability» на 25 языков

ПЕРЕВОДЧИК
online translator

ПЕРЕВОД СЛОВА VERIFIABILITY

Посмотрите перевод слова verifiability на 25 языков с помощью нашего многоязыкового переводчика c английский языка.
Переводы слова verifiability с английский языка на другие языки, представленные в этом разделе, были выполнены с помощью автоматического перевода, в котором главным элементом перевода является слово «verifiability» на английский языке.

Переводчик с английский языка на китайский язык

核查
1,325 миллионов дикторов

Переводчик с английский языка на испанский язык

verificabilidad
570 миллионов дикторов

английский

verifiability
510 миллионов дикторов

Переводчик с английский языка на хинди язык

verifiability
380 миллионов дикторов
ar

Переводчик с английский языка на арабский язык

التحقق
280 миллионов дикторов

Переводчик с английский языка на русский язык

проверяемость
278 миллионов дикторов

Переводчик с английский языка на португальский язык

verificabilidade
270 миллионов дикторов

Переводчик с английский языка на бенгальский язык

যাচাই
260 миллионов дикторов

Переводчик с английский языка на французский язык

vérifiabilité
220 миллионов дикторов

Переводчик с английский языка на малайский язык

Verifiability
190 миллионов дикторов

Переводчик с английский языка на немецкий язык

Prüfbarkeit
180 миллионов дикторов

Переводчик с английский языка на японский язык

検証可能性
130 миллионов дикторов

Переводчик с английский языка на корейский язык

검증 가능성
85 миллионов дикторов

Переводчик с английский языка на яванский язык

Verifiability
85 миллионов дикторов
vi

Переводчик с английский языка на вьетнамский язык

kiểm chứng
80 миллионов дикторов

Переводчик с английский языка на тамильский язык

ஆராய்வது
75 миллионов дикторов

Переводчик с английский языка на маратхи язык

सत्यापन
75 миллионов дикторов

Переводчик с английский языка на турецкий язык

doğrulanabilirliği
70 миллионов дикторов

Переводчик с английский языка на итальянский язык

verificabilità
65 миллионов дикторов

Переводчик с английский языка на польский язык

sprawdzalności
50 миллионов дикторов

Переводчик с английский языка на украинский язык

проверяемость
40 миллионов дикторов

Переводчик с английский языка на румынский язык

verificabilitate
30 миллионов дикторов
el

Переводчик с английский языка на греческий язык

επαληθευσιμότητα
15 миллионов дикторов
af

Переводчик с английский языка на африкаанс язык

verifieerbaarheid
14 миллионов дикторов
sv

Переводчик с английский языка на шведский язык

kontrollerbarhet
10 миллионов дикторов
no

Переводчик с английский языка на норвежский язык

etterprøvbarhet
5 миллионов дикторов

Тенденции использования слова verifiability

ТЕНДЕНЦИИ

ТЕНДЕНЦИИ ИСПОЛЬЗОВАНИЯ ТЕРМИНА «VERIFIABILITY»

0
100%
ЧАСТОТНОСТЬ
Слово используется регулярно
63
/100
На показанной выше карте показана частотность использования термина «verifiability» в разных странах.
Тенденции основных поисковых запросов и примеры использования слова verifiability
Список основных поисковых запросов, которые пользователи ввели для доступа к нашему онлайн-словарю английский языка и наиболее часто используемые выражения со словом «verifiability».

ЧАСТОТА ИСПОЛЬЗОВАНИЯ ТЕРМИНА «VERIFIABILITY» С ТЕЧЕНИЕМ ВРЕМЕНИ

На графике показано годовое изменение частотности использования слова «verifiability» за последние 500 лет. Формирование графика основано на анализе того, насколько часто термин «verifiability» появляется в оцифрованных печатных источниках на английский языке, начиная с 1500 года до настоящего времени.

Примеры использования в литературе на английский языке, цитаты и новости о слове verifiability

ПРИМЕРЫ

КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «VERIFIABILITY»

Поиск случаев использования слова verifiability в следующих библиографических источниках. Книги, относящиеся к слову verifiability, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на английский языке.
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

НОВОСТИ, В КОТОРЫХ ВСТРЕЧАЕТСЯ ТЕРМИН «VERIFIABILITY»

Здесь показано, как национальная и международная пресса использует термин verifiability в контексте приведенных ниже новостных статей.
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, Июл 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, Июл 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, Июл 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, Июл 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, Июл 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, Июн 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, Июн 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, Май 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, Апр 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, Мар 15»

ССЫЛКИ
« EDUCALINGO. Verifiability [онлайн]. Доступно на <https://educalingo.com/ru/dic-en/verifiability>. Апр 2024 ».
Скачать приложение educalingo
en
Словарь английский языка
Узнайте, что скрывают слова, на