Blockchain Workshop Bucharest March 2023 - Runtime Verification/ILDS - Ștefan-Claudiu Susan
Channel: Runtime Verification
Date: 2023-03-31

RV/ILDS Blockchain Workshop
Ștefan-Claudiu Susan - UAIC: A test suite for smart contract vulnerability analysers

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

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