SmartPulse - Automated Checking of Temporal Properties in Smart Contracts

Explore an innovative approach to enhancing smart contract security through automated temporal property checking in this 16-minute IEEE presentation. Delve into the SmartPulse system, which addresses the critical need for verifying time-dependent behaviors in blockchain-based applications. Learn how this tool can help developers identify and prevent potential vulnerabilities related to temporal logic, ultimately improving the reliability and safety of smart contracts in various decentralized systems.