Смарт-контракты — это обладающий спецификой программный код, исполняемый в системах распределенного реестра (блокчейн-платформах). Смарт-контракты все чаще применяют в финансовой, юридической и других сферах, требующих высокой надежности и безопасности. Автоматическая верификация и анализ кода — важнейшее направление в обеспечении надежности и безопасности программ. В данной работе представлен краткий систематический обзор исследований в области верификации смарт-контрактов в период 2015—2019 гг.