While ensuring the safety of smart contracts during the development stage is crucial, formalizing natural language requirements for their verification can be challenging and time-consuming. When it comes to standard-based contracts, Ethereum provides natural language guidelines to ensure compliant and safe implementations. Deviating from the intended standard behavior can lead to serious security pitfalls. To address this issue, we propose a verification approach for ensuring the safety of ERC-based contracts using model checking. Our approach employs Mistral as a Large Language Model (LLM) to generate Computational Tree Logic (CTL) specifications from natural language requirements. We demonstrate the applicability of our approach through an ERC-20 smart contract.