LTL and CTL Applications for Smart Contracts Security

In this blog we explore linear temporal logic as well as computation tree logic, and how we could use them to verify smart-contracts.