Что такое формальная верификация +15 05.08.2023 10:52 Natasha_Klaus 27 Information Security Algorithms Functional Programming Cryptocurrencies Информационная безопасность Алгоритмы Функциональное программирование Криптовалюты
Верификация рекурсивных функций в 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 Функциональное программирование
