Формальная верификация, что это? ⚙️

В эту среду проводим стрим с Полиной Толмач, Tech Lead из Runtime Verification, про формальную верификацию и её значение для безопасности смарт контрактов.

На стриме обсудим:
- Что такое формальная верификация, зачем нужна?
- Чем она отличается от других подходов к обеспечению безопасности смарт контрактов, таких как статический анализ, тестирование и фаззинг?
- Как интегрировать инструменты формальной верификации в жизненный цикл разработки на примере Kontrol?

Готовьте вопросы и присоединяйтесь в эту среду!

🗓️ 3 июля, 5:00 PM CET
📍 YouTube Cyber Academy

Ссылка на стрим | Добавить в календарь