Публикации с тегом формальная верификация
Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли? +16
ИИ уже пишет 80% кода Anthropic. Самое тревожное спрятано в цифре, которую подают как успех +8
Формальная верификация «для богатых»: используем Jasper C2RTL App из Cadence JasperGold +15
Формальная верификация «для бедных»: выбираем open source-решение +16
Формальная верификация смарт-контрактов Solidity: SMTChecker
Формальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейне +11
Формальная верификация смарт-контрактов во фреймворке ConCert
- Блог компании Positive Technologies
- Информационная безопасность
- Программирование
- Solidity
- Криптовалюты
Формальные методы проверки смарт-контрактов
Подробно о Coq: зависимое сопоставление с образцом +5
Что такое формальная верификация +15
COQ: верификация функций, содержащих fold_left +7
Формальная верификация кода на Coq: тактики +4
Формальная верификация в информационной безопасности. Как пройти сертификацию во ФСТЭК +6
