https://academy.binance.com/vi/glossary/formal-verification