https://ton-news.com/blog/2020/06/09/free-ton-weekly-meetup-6-formal-verification/