https://academy.binance.com/zt/articles/what-is-formal-verification-of-smart-contracts