R

Runtime Verification

SCF Funded

Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.

In the news

Ch. 5 Interoperable: Security in Web3 📱Mar 11 Ch. 5 Interoperable: Security in Web3Mar 11 Leveraging the Malicious Mindset | Meridian 2025Oct 1 The Security Mindset: Building Vulnerability-Free Soroban Smart Contracts | Meridian 2025Oct 1 Pay 0% Of Your Security Audit Costs With Stellar Audit BankAug 15 Introducing Komet: Formal Verification and Fuzzing for SorobanSep 15

Runtime Verification | Lumen Loop