• Главная
  • Контакты
Подписаться:
  • 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
  • Cryptocurrencies
  • Functional Programming

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
ЛУЧШЕЕ

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

Пионеры разработки: внедрение АСУ 38 лет назад +80

11:07

Технотекст 7: конкурс авторов Хабра стартует +57

08:03

Зарядное устройство для свинцово-кислотных аккумуляторов 4В +34

08:16

Разбор одного вируса с ТГ канала peekbot +25

07:42

Программа, которая падала на первой команде +24

05:38

Центробанк решил быть няшным, а Google выпустил чатбот, который матерится на русском душевнее всех +22

12:02

Электроника в вопросах и ответах +20

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +19

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +19

09:01

Второе пришествие мейнфреймов. Всё больше компаний хотят запускать ИИ у себя в офисе +16

10:43

Хуже потопа, страшнее пожара: как подготовить свои бэкапы к визиту вируса-шифровальщика +14

12:07

Процессоры, видеокарты, оперативка — топовое железо 2024 года +12

09:00

Как и зачем мы замеряли знания культурного кода у YandexGPT +12

13:01

Спасите меня из ада данных +11

10:40

От спецификации до производства: как устроена магистратура, где студенты разрабатывают чипы +10

09:02

Один за всех: как мы упростили сдачу крови и придумали систему онлайн-дозаказа анализа +10

07:43

Этот год в open source +10

12:10

«Брендометр» Airbnb: автоматизация оценки восприятия бренда в социальных сетях с помощью ИИ +9

08:41

Разбираем базу по базам +9

06:53

Рекомендательная библиотека RePlay: сравнение с конкурентами RecBole и Recommenders на примере SOTA-модели SASRec +9

13:39

Не радуйтесь офферу из СБЕРа +213

08:32

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу +57

09:17

20-летие Linux для десктопных систем (Часть 1) +49

07:05

Ностальгические игры: Command & Conquer – Generals +32

13:26

AI, который всё за нас решит +30

08:03

Лучшие одноплатные компьютеры: топ-5 моделей для разработки и хобби +26

15:54

Кроме шуток — шмели тоже обучаются и не знают всё по «инстинктам» +20

09:01

Натрий-ионные батареи станут массовыми? Новости из Китая +19

19:01

Парольная защита статичной HTML-страницы на JS +18

13:37

34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +13

11:02

Lazarus IDE для аналитика. Приемы работы в современном Free Pascal — 2 +10

16:37

Skip List в Golang +9

10:10

Управление проектами: дайджест публикаций #23 +9

08:11

Как наладить работу в Scrum? +9

09:02

Миф о RAM +8

23:26

JavaScript: Удобство или Угроза? Размышления о Приватности и Вебе +7

13:42

Мэтчинг персонажей. Level Hard +7

08:43

Таинственные быстрые радиовсплески могут вызывать астероиды, врезающиеся в мёртвые звёзды +7

06:23

Как LLM меняют архитектуру систем: от простых дата-пайплайнов к интеллектуальным автономным агентам +5

17:00

Подмания: запускаем графические приложения в контейнерах. Часть 2 +4

09:01

«Не трогай оливье, это на Новый год!»: немного об истории самого культового и мемного блюда новогоднего стола +74

11:20

Космический интернационал +60

08:12

Seagate представляет 32 ТБ накопитель для пользователей: технология HAMR идет в массы +45

10:45

Как я разрабатывал хоррор-стратегию на Game Maker, что из этого вышло + пара советов +27

16:14

Стратегия Келли точно не подведёт +26

12:04

Оптимизация компилятора на пальцах +23

21:10

Как засунуть слона в чемодан +22

14:05

Как китайцы «айфон на винде» сделали: Смотрим на Meizu M8 +22

20:03

Малварь ниже «уровня радаров» +19

07:05

Бегущий по флешбэкам +19

16:34

Как поднять Wi-Fi на ESP8266 и не зашквариться об Arduino +17

12:31

Продукт всё, платная реклама ничто. Итоги второго года в проде +16

08:23

PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения) +14

19:01

Солнечный зонд Parker начал рекордно близкое сближение с Солнцем +13

12:39

Как Ultimatum помогает бороться со слежкой в сети +9

09:46

Кратко про то, как кастомизировать сетевой стек в Kubernetes с Cilium +9

15:58

PHP Typed: Маленький Composer пакет, который нарушает PHP правила ради вас +7

06:42

Обходимся почти без мышки: Некоторые настройки Linux и Xorg для комфортной работы на старом железе +6

22:27

Tg бот для IT + автоматизация ИПРО-2 используя MTS Exolve. Упаковка в Docker и автоматизация сборки с GitHub Actions +5

18:07

Сервер автоматизации СА-02м. Linux + Armbian, SCADA, «Умный дом» и вот это вот все… +5

СЕРВИСЫ
  • logo

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

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

  • Не радуйтесь офферу из СБЕРа +213

    • 389

    «Не трогай оливье, это на Новый год!»: немного об истории самого культового и мемного блюда новогоднего стола +74

    • 70

    Натрий-ионные батареи станут массовыми? Новости из Китая +19

    • 67

    Гарантированно безопасный способ передачи технологических данных АСУ ТП в интернет. Возможно? -12

    • 63

    AI, который всё за нас решит +30

    • 50

    PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения) +14

    • 45

    Как поднять Wi-Fi на ESP8266 и не зашквариться об Arduino +17

    • 42

    Seagate представляет 32 ТБ накопитель для пользователей: технология HAMR идет в массы +45

    • 37

    Центробанк решил быть няшным, а Google выпустил чатбот, который матерится на русском душевнее всех +19

    • 36

    34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +13

    • 29

    20-летие Linux для десктопных систем (Часть 1) +49

    • 28

    Как китайцы «айфон на винде» сделали: Смотрим на Meizu M8 +22

    • 26

    Как засунуть слона в чемодан +22

    • 24

    Путь к сердцу человека лежит через… электроды?

    • 22

    JavaScript: Удобство или Угроза? Размышления о Приватности и Вебе +7

    • 21

Подписка


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