Formal VerSo

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW)
Team Size
Project Type
Developer Tooling
Total awarded
Core team
Vanessa Aguilar
Vanessa Aguilar
github_icon proposals_galois

*The USD valuation of the budget request in XLM will be calculated using the CF Stellar Lumens-Dollar Settlement Price on the day of payment as administered, maintained, and reported by the cryptocurrency index provider CF Benchmarks Ltd. (using the ticker XLMUSD_RR) (available at Learn more in the SCF Handbook.

Supporting developers, startups, and full-fledged companies building on Stellar and Soroban
© 2023 Stellar Development Foundation
Subscribe to the Newsletter