GitHub repository: omarjarkas1997/SmartContractVerification
Description: Formal Verification of Smat Contracts Using Dafny