Runtime Verification (RV)

About

https://runtimeverification.com/

Speaking appearances

• Caipirinhas and USDC Global Accounts with Meru & DeFindex 2025-09-17 — Rio de Janeiro
• Stellar Sunset: DeFi, Wallets, Payments & Tokenization 2025-09-16 — Rio de Janeiro