Stellar Community Fund

Komet: Formal Verification

SCF #28

SCF #30

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

Team Size

By Komet: Formal Verification

Komet: Formal Verification by Runtime Verification

SCF #30

$100.0K

Build

Awarded

By Komet: Formal Verification

Kasmer: Formal Verification

SCF #28

$50.0K

Legacy v5.0 Activation Award

Awarded

Supporting developers, startups, and full-fledged companies building on Stellar and Soroban

Subscribe to the Newsletter

Policies

Stay Connected