Цитаты со словосочетанием «формальная верификация»
Область
поиска
поиска
Область
поиска
поиска
Неточные совпадения
Нелегко было поддерживать величайшее в мире государство, да еще народу, не обладающему формальным организационным гением.
Даже формальное отрицание национальности может быть национальным.
Буржуазное рабство человеческого духа — один из результатов формальной свободы человека, его поглощенности собой.
Отсюда рождаются непомерные притязания, которые переживаются немцем как долг, как формальный, категорический императив.
Формальный принцип отрицания всяких аннексий, сохранения старых установившихся границ неприемлем, последовательно не приводим и не может претендовать на безусловное значение.
Это классический образец совершенной отвлеченности и формальной абсолютности в политике.
И потому абсолютное не должно быть насильственным, внешним и формальным навязыванием относительному трансцендентных начал и принципов, а может быть лишь имманентным раскрытием высшей жизни в относительном.
Столь же формальным, столь же номинальным может оказаться и любой социалистический строй.
И в этом мнении сказывается фатальная для нас власть слов и формальных понятий.
Но, увы, и религиозное возрождение может быть номинальным и формальным.
Такова буржуазная демократия с ее формальным абсолютизмом принципа народовластия.
Формальный абсолютизм демократической идеи не может быть нами принят, он должен быть ограничен другими идеями.
И этому духу отвлеченно-формальной демократии, всегда обращенному к внешнему, должен быть решительно противопоставлен иной дух, истинный дух человечества, дух личности и дух народа.
Отвлеченный демократизм всегда есть формализм, он не хочет знать содержания народной воли, народного сердца, народной мысли, ему важно лишь формальное народовластие.
Насильственное осуществление правды — справедливости во что бы то ни стало может быть очень неблагоприятно для свободы, как и утверждение формальной свободы может порождать величайшие несправедливости.
Определение свободы как выбора есть еще формальное определение свободы.
Мы увидим, что от формального и реального понимания свободы зависят противоречия свободы в социальной жизни.
Декларация прав человека и гражданина, чтобы не быть формальной, должна быть также декларацией обязанностей человека и гражданина.
Вне этой истины свободы нет, вне ее есть ложь, ложная формальная свобода, утверждаемая в капиталистических обществах».
Тут есть формальное сходство с Фрейдом и психоанализом, объяснение человека исключительно снизу, из его низших состояний.
Цитаты из русской классики со словосочетанием «формальная верификация»
Неточные совпадения
Этого мало: в первый же праздничный день он собрал генеральную сходку глуповцев и перед нею формальным образом подтвердил свои взгляды на администрацию.
«Кроме формального развода, можно было еще поступить, как Карибанов, Паскудин и этот добрый Драм, то есть разъехаться с женой», продолжал он думать, успокоившись; но и эта мера представляла те же неудобства noзopa, как и при разводе, и главное — это, точно так же как и формальный развод, бросало его жену в объятия Вронского. «Нет, это невозможно, невозможно! — опять принимаясь перевертывать свой плед, громко заговорил он. — Я не могу быть несчастлив, но и она и он не должны быть счастливы».
Графиня Лидия Ивановна намекала ему, что это был лучший выход из его положения, и в последнее время практика разводов довела это дело до такого усовершенствования, что Алексей Александрович видел возможность преодолеть формальные трудности.
Известна мне даже и сокровенная цель спутать таким образом все, чтобы оказалась полная невозможность решить формальным порядком.
В общество это затянули его два приятеля, принадлежавшие к классу огорченных людей, добрые люди, но которые от частых тостов во имя науки, просвещения и прогресса сделались потом формальными пьяницами.
Ассоциации к слову «формальный»
Синонимы к словосочетанию «формальная верификация»
Предложения со словосочетанием «формальная верификация»
- Команда разработчиков Cardano активно работает над обеспечением высокого уровня безопасности и устойчивости протокола, используя формальную верификацию и множество других методов проверки безопасности.
- (все предложения)
Сочетаемость слова «формальный»
Сочетаемость слова «верификация»
Значение слова «формальный»
ФОРМА́ЛЬНЫЙ, -ая, -ое; -лен, -льна, -льно. 1. только полн. ф. Официальный, законный, произведенный по форме (в 7 знач.). Формальные доказательства (установленные заранее законом). Формальное обвинение. (Малый академический словарь, МАС)
Значение слова «верификация»
В различных сферах деятельности человека под верифика́цией (от лат. verus — «истинный» и facere — «делать») могут подразумеваться разные понятия, например: (Википедия)
Отправить комментарий
Значение слова «формальный»
ФОРМА́ЛЬНЫЙ, -ая, -ое; -лен, -льна, -льно. 1. только полн. ф. Официальный, законный, произведенный по форме (в 7 знач.). Формальные доказательства (установленные заранее законом). Формальное обвинение.
Все значения слова «формальный»Значение слова «верификация»
В различных сферах деятельности человека под верифика́цией (от лат. verus — «истинный» и facere — «делать») могут подразумеваться разные понятия, например:
Все значения слова «верификация»Предложения со словосочетанием «формальная верификация»
Команда разработчиков Cardano активно работает над обеспечением высокого уровня безопасности и устойчивости протокола, используя формальную верификацию и множество других методов проверки безопасности.
- (все предложения)
Синонимы к словосочетанию «формальная верификация»
- формальная спецификация
- статический анализ кода
- инвариант класса
- методология программирования
- схема базы данных
- (ещё синонимы...)