Stellar Community Fund

Formal VerSo

SCF #20

SCF #23

SCF #27

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

Team Size

By Formal VerSo

Formal VerSo - Phase 3

SCF #27

$99.9K

Legacy v5.0 Community Award

Awarded

By Formal VerSo

Formal VerSo - Phase 1

SCF #23

$99.8K

Legacy v5.0 Community Award

Awarded

By Formal VerSo

Formal VerSo

SCF #20

$50.0K

Legacy v5.0 Activation Award

Awarded

Supporting developers, startups, and full-fledged companies building on Stellar and Soroban

Subscribe to the Newsletter

Policies

Stay Connected