Формальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейне +11 10.12.2024 09:07 krlzi 0 Блог компании Positive Technologies Криптовалюты Программирование Алгоритмы Анализ и проектирование систем
Формальная верификация смарт-контрактов во фреймворке ConCert 03.04.2024 15:32 krlzi 0 Блог компании Positive Technologies Информационная безопасность Программирование Solidity Криптовалюты
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1 21.07.2023 19:42 Natasha_Klaus 3 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 Функциональное программирование
Как я убеждал блондинку Машу перейти с программирования RTOS в проектирование железа (а также Coq, Lisp и Haskell) +15 03.05.2023 06:49 YuriPanchul 21 Программирование Функциональное программирование FPGA Программирование микроконтроллеров Электроника для начинающих
web5 скорее всего будет, пока не расходимся +4 30.06.2022 21:31 flake 65 Децентрализованные сети Информационная безопасность Криптография Распределённые системы Криптовалюты