Lumen Loop
All projects
S
Developer ToolingSCF Funded

SAW

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

Launch app
Connect
Latest news

We don't have any news articles linked to SAW yet. If you know of an article or resource about this project, let us know.

{ }@galoisinc6 repositories
View all on GitHub →

Last 6 months · Weekly commits

saw-script
Similar projects
By category & tags
S
SoroBuilderDeveloper Tooling
SCF
SecurityRustSDK

SoroBuilder is an AI-driven, browser-based environment designed to streamline Soroban smart contract development. It builds full…

View →
S
SiBorgDeveloper Tooling
SCF
RustSDKArt

SiBorg is creating a decentralized monetization protocol that transforms media and creator visibility into a new asset class by …

View →
F
FlashbackInfrastructure & Services
SCF
SecuritySDKArt

Flashback is the world's first multi-cloud storage platform that enables companies to diversify and orchestrate their data stora…

View →
V
Volta CircuitInfrastructure & Services
SCF
SecurityArtMulti Signatures

Non-custodial, smart contract-based security protocol on Stellar providing automated asset protection, recovery mechanisms, and …

View →
M
MugglePayApplications
SCF
SDKArtMerchant

Help merchants accept crypto on Stellar through autoswap smarts contract built on Soroban. (e.g. pay-in XLM, pay-out USDC).

View →
O
OrallyInfrastructure & Services
SCF
SecuritySDKOracle

On-chain oracles with cross-chain capabilities. Push and pull models with unlimited price feeds and custom data feeds.

View →