Galois

1 project1 repo

Tooling

About Galois

Galois builds 1 project on Stellar in Tooling: SAW. Summary from its projects; the team has not written its own yet.

Projects being developed or maintained by Galois.

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