Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms