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.
In this blog we explore linear temporal logic as well as computation tree logic, and how we could use them to verify smart-contracts.