SAW
Live
Tooling
Security
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
May 15, 2025
May 15, 2025
Open Issues
1
Across 1 repository
Total Stars
3
GitHub community engagement
Repositories
1 repository linked to this project