LTL and CTL Applications for Smart Contracts Security
Both LTL and CTL are fragments of propositional logic and parts of CTL*.           Linear Temporal...
Tags: ltl, ctl, smartcontract, security