#formal_methods — Public Fediverse posts on home.social

Alavi | علوی @[email protected] · 2024-05-05 · 12:35 UTC

Meet #Verus, a tool for formal verification of #Rust programs.
I haven't used it yet, but anything related to formal verification is really interesting to me :D
You guys give it a try and let me know how good it is (it's in very early development)

https://github.com/verus-lang/verus

#formal_methods #formal_verification
#verification

#verus #rust #formal_methods #formal_verification #verification

Habr @[email protected] · 2024-04-03 · 15:52 UTC

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

Добрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье мы продолжим обсуждать методы и инструменты формальной верификации смарт-контрактов и их практическое применение для предотвращения уязвимостей. Мы подробно поговорим о методе дедуктивной верификации, а точнее, о фреймворке для тестирования и верификации смарт-контрактов — ConCert. Под кат

https://habr.com/ru/companies/pt/articles/804861/

#формальная_верификация #формальная_верификация_криптовалют #formal_verification #formal_methods #тестирование #смартконтракты #блокчейн #solidity #coq #Concert

#concert #coq #solidity #блокчейн #смартконтракты #тестирование

Habr @[email protected] · 2024-01-18 · 15:32 UTC

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

Друзья, приветствую! Меня зовут Сергей Соболев, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье начну рассказывать про методы и инструменты формальной верификации, их практическое применение в аудите смарт-контрактов, а также про подводные камни. Сегодня поговорим про общие теоретические аспекты формальной верификации, проблемы SAT и SMT и закрепим все это на простом примере с использованием хайпового инструмента для анализа смарт-контрактов Certora Prover со своим языком спецификаций. Под кат

https://habr.com/ru/companies/pt/articles/786078/

#формальная_верификация #solidity #смартконтракты #ethereum #формальная_верификация_криптовалют #formal_specification #formal_methods #sat #certora_prover #smt