Get Started
Awards
Kickstart
Projects
Dashboard
Loading...
Supporting developers, startups, and full-fledged companies building on Stellar and Soroban
© 2024 Stellar Development Foundation
Subscribe to the Newsletter
More
Events
Handbook
FAQs
Policies
Official Rules
Brand Policy
Privacy Policy
Stay Connected
Discord
Telegram
Medium
Formal VerSo
Developer Tooling
Developer Tooling
Description
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW)
Website
Team Size
1
Project Type
Developer Tooling
Total awarded
$249.7K*
Awarded Submissions
3
Submissions
Formal VerSo - Phase 3
By Formal VerSo
SCF #27
Awarded
$99.9K
View
Formal VerSo - Phase 1
By Formal VerSo
SCF #23
Awarded
$99.8K
View
Formal VerSo
By Formal VerSo
SCF #20
Awarded
$50.0K
View
Team Members
Vanessa Aguilar
proposals_galois
proposals_galois