https://academy.binance.com/da/articles/what-is-formal-verification-of-smart-contracts
Hvad er formel verifikation af smart contracts?