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

llvm-pretty-bc-parser
lumberjack
fvspec
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 →
R
Runtime VerificationDeveloper Tooling
SCF
Formal VerificationSecurity

Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.

View →
J
JS-Capacitor Passkey KitDeveloper Tooling
SCF
SecuritySDKMobile

The JS-Capacitor Passkey Kit helps JavaScript developers to implement Soroban Smart Wallets by providing access to native passke…

View →
S
SocketFiApplications
SCF
SecuritySDKMobile

SocketFi is a smart wallet dApp built on Soroban and the Stellar ecosystem, designed to seamlessly connect millions of users to …

View →