SAW
Live
Tooling
SDK
About SAW
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW)
Visit SAWLinks & Resources
Built By
Organization behind this project
Last Activity
10 months ago
May 15, 2025
Open Issues
1
Across 1 repository
Total Stars
2
GitHub community engagement
Repositories
1 repository linked to this project