Research & KnowledgeEvent: September 1, 2026
Certora tested fuzzing and formal verification on five versions of the same Soroban smart contract on Stellar using addition should be commutative as a simple property.
Published
Signal category
Research & Knowledge
Quote
“We tested fuzzing and formal verification on five versions of the same Soroban smart contract on #Stellar, using one simple property: addition should be commutative.”
— Certora team
Company
- Industry
- Software Development
- Location
- Tel Aviv, IL
- Company size
- 70 employees
Industry-leading formal verification tools & smart contract audits.
Founded 2018