Stellar Community Fund

By Formal VerSo

Formal VerSo - Phase 1

SCF #23

$99.8K

Legacy v5.0 Community Award

Awarded

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

$99.8K

Vanessa Aguilar

Team Size

By Formal VerSo

Formal VerSo - Phase 3

SCF #27

$99.9K

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