Working Workshops Bucharest October 2023 - Andrei Vacaru: Kontrol, symbolic execution for Solidity
Channel: Runtime Verification
Date: 2023-10-31

Working Workshops Bucharest October 2023 
Andrei Vacaru - Runtime Verification: Kontrol, symbolic execution for Solidity

Follow us: 
Website: https://runtimeverification.com/
Twitter: https://twitter.com/rv_inc
Discord: https://discord.com/invite/CurfmXNtbN