Formal VerSo

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW)

Website

Core team

Vanessa Aguilar

proposals_galois

Submissions

See All

Formal VerSo - Phase 3

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW)

27

$99,875

Formal VerSo - Phase 1

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench.

23

$99,825

Formal VerSo

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench

20

$50,000

See All

*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 https://www.cfbenchmarks.com/indices/XLMUSD_RR). Learn more in the SCF Handbook.