Commit to marriage with TLA+ pt.2
The second part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
Temporal Logic
Do not die hard with TLA+ pt.1
The first part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.
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.