Формальная верификация: Формальная спецификация

Лектор — Андрей Ляшин, кофаундер и CTO Pruvendo.
В тринадцатой лекции рассмотрели особенности построения спецификации для контрактов, способы ее формулировки, с учетом особенности моделирования поведения контракта как монадического вычисления.

Перед просмотром данной лекции рекомендуем ознакомиться с предыдущими занятиями:
   • Формальная верификация с Андреем Ляшиным  
____

Guide DAO — web3-школа и крупное комьюнити с курсами по Solidity, web3-фуллстеку, DeFi-аналитике и аудиту контрактов, а также приваткой в дискорде с ежедневными лекциями и войсами с экспертами из криптоиндустрии. Онбордим в крипту, оформляем портфолио, помогаем развивать нетворкинг и уходить работать в компании мирового уровня.

Наш сайт: https://www.guidedao.xyz/ru

Наш телеграм: https://t.me/guidedao

#blockchain #crypto #cryptocurrency #education #блокчейн #криптовалюта