Login
From:
Protocols Made Fun
(Uncensored)
subscribe
The Rise of Model Checker: Verifying Blockchain Monitors In and Near Realtime (Solarkraft #5)
https://protocols-made-fun.com/solarkraft/2024/07/19/solarkraft-part5.html
links
backlinks
Tagged with:
specification
formal-methods
solarkraft
smart-contracts
apalache
runtime-monitor
soroban
Roast topics
Find topics
Find it!
