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