• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом формальная верификация

Формальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейне +11

  • 10.12.2024 09:07
  • krlzi
  • 0
  • Блог компании Positive Technologies
  • Криптовалюты
  • Программирование
  • Алгоритмы
  • Анализ и проектирование систем

Формальная верификация смарт-контрактов во фреймворке ConCert

  • 03.04.2024 15:32
  • krlzi
  • 0
  • Блог компании Positive Technologies
  • Информационная безопасность
  • Программирование
  • Solidity
  • Криптовалюты

Формальные методы проверки смарт-контрактов

  • 17.01.2024 08:03
  • white_coon
  • 2
  • Блог компании Positive Technologies
  • Децентрализованные сети
  • Программирование
  • Solidity
  • Криптовалюты

Подробно о Coq: зависимое сопоставление с образцом +5

  • 15.11.2023 06:30
  • andreykl
  • 1
  • Программирование

Что такое формальная верификация +15

  • 05.08.2023 10:52
  • Natasha_Klaus
  • 27
  • Information Security
  • Algorithms
  • Functional Programming
  • Cryptocurrencies
  • Информационная безопасность
  • Алгоритмы
  • Функциональное программирование
  • Криптовалюты

COQ: верификация функций, содержащих fold_left +7

  • 20.07.2023 12:53
  • Natasha_Klaus
  • 7
  • Функциональное программирование

Формальная верификация кода на Coq: тактики +4

  • 18.07.2023 10:00
  • Natasha_Klaus
  • 4
  • Функциональное программирование

Формальная верификация в информационной безопасности. Как пройти сертификацию во ФСТЭК +6

  • 23.03.2022 13:45
  • IamreadyMotor
  • 4
  • Информационная безопасность

Почему земляне делают глючный софт и железо +15

  • 17.12.2016 17:54
  • worldmind
  • 302
  • Производство и разработка электроники
  • Программирование
  • Искусственный интеллект
  • Информационная безопасность
  • Будущее здесь
Страница 1 из 1
ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
07:00

NotebookLM: Как освоить сложные темы в 10 раз быстрее +1

01:38

Как я поучаствовал в скам-схеме: эксперимент с фейковым арбитражем STEEM и IOST +1

13:06

«Кем Вы видите себя через 5 лет», или русско-HRский разговорник +151

09:01

Самодельная газоразрядная Хабралампа V 1.1 +52

08:05

Запускаем раритетные платы фискальной памяти +33

08:00

Апрельские обновления в продуктах и услугах Selectel +30

08:28

Что же такое HDR? +25

09:00

Личная эффективность СТО: как не сгореть, быть полезным и не терять фокус +24

13:01

Что убивает ваши IoT-проекты — и как Edge это исправит +22

07:13

Videoton TVC: непростой венгерский компьютер советской эпохи +22

08:54

Как работают антиботы +19

12:26

Где бесплатно хостить пет-проект с собственным доменным именем +17

12:25

Математическое решение царской игры Ура +17

12:55

Что происходит с собеседованиями QA в 2025 году? Взгляд с обеих сторон баррикад +16

11:07

.NET Digest #7 +15

08:11

Программный генератор случайных числовых последовательностей на RISC-V с использованием PUF в DRAM +15

10:58

Siemens A52, Nokia Lumia 800 и другие телефоны, которые были у сотрудников Selectel в детстве +14

18:30

ИИ в греческих буквах и транслитерация промптов +13

14:05

Галлюцинации моделей текстовых ИИ, и как с ними бороться +13

12:41

ТОП-5 нейросетей для транскрибации аудио в текст (часть 1) +13

10:20

Devboard для К1921ВГ015 +13

08:00

Распределённый инференс и шардирование LLM. Часть 3: настройка авторизации и интеграция с Open WebUI +13

09:01

От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +102

10:27

Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +85

05:29

Откуда у Xiaomi так много разных устройств? +57

10:11

Как найти и потерять бэкдор в ESP32 +56

12:11

Есть ли у AMD перспективы в AI/ML/DL. Часть 1 +48

09:01

Всё про Generic Math в C# +48

06:37

Курсы по тестированию — развод, маркетинг и пустышки +48

09:05

Проект «Мультиключ». Эмулятор ключей от домофона на ESP8266 +44

01:28

Самоорганизация неприятностей +43

13:39

Процессор на коленке ч.1 +40

13:01

Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

09:20

Как использовать японские подходы в IT. Часть 5: в плену процесса +37

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

04:41

Генератор синусоиды из LC-контура и отрицательного сопротивления +26

13:46

Radio Data System, SI4735 и Flipper Zero +24

16:12

Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +23

09:52

Как мы в Точке сделали свой дизайн-линтер +23

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • HEX раздражает женщин +15

    • 185

    Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +23

    • 167

    От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +102

    • 99

    Windows против Linux: кто кого, или почему пингвин не боится окна -10

    • 74

    Как упростить себе освоение Rust +20

    • 69

    Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

    • 64

    Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +85

    • 51

    «Кем Вы видите себя через 5 лет», или русско-HRский разговорник +151

    • 44

    Откуда у Xiaomi так много разных устройств? +57

    • 42

    Концепция Человек-Род-Государство -2

    • 38

    Посткапитализм без откатов: эволюция к равенству возможностей +1

    • 36

    Идеальный NAS на 8 NVME дисков. Обзор Terramaster F8 Plus +5

    • 34

    Процессор на коленке ч.1 +40

    • 34

    Токсы и как с ними работать. Памятка руководителю +11

    • 34

    Сингулярность чёрных дыр: что скрывается за горизонтом событий? +4

    • 23

Подписка


  • Главная
  • Контакты
© 2025. Все публикации принадлежат авторам.