Blockchain Workshop Bucharest March 2023 - Runtime Verification/ILDS - Julian Sutherland
Channel: Runtime Verification
Date: 2023-03-31

RV/ILDS Blockchain Workshop
Julian Sutherland - Nethermind): Horus: A formal verification tool for Starknet 

Event program details: https://events.ilds.ro/blockchain2023/program/

https://twitter.com/rv_inc
https://runtimeverification.com/
-
https://ilds.ro/