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