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