Login
Roast topics
Find topics
Find it!
From:
Blogs on Inferara
(Uncensored)
subscribe
LTL and CTL Applications for Smart Contracts Security
https://www.inferara.com/en/blog/ltl-ctl-for-smart-contract-security/
links
backlinks
Roast topics
Find topics
Roast it!
In this blog we explore linear temporal logic as well as computation tree logic, and how we could use them to verify smart-contracts.
