![](https://habrastorage.org/r/w1560/getpro/habr/upload_files/cdc/737/7fb/cdc7377fb74a7b9a844b3e2e8f2a8d05.png)
Добрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье мы продолжим обсуждать методы и инструменты формальной верификации смарт-контрактов и их практическое применение для предотвращения уязвимостей. Мы подробно поговорим о методе дедуктивной верификации, а точнее, о фреймворке для тестирования и верификации смарт-контрактов — ConCert.