Get Started
Awards
Kickstart
Projects
Dashboard
Loading...
Supporting developers, startups, and full-fledged companies building on Stellar and Soroban
© 2024 Stellar Development Foundation
Subscribe to the Newsletter
More
Events
Handbook
FAQs
Policies
Official Rules
Brand Policy
Privacy Policy
Stay Connected
Discord
Telegram
Medium
Komet: Formal Verification
Developer Tooling
Formal Verification Tool
Development
Build
Description
Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
Website
Team Size
1
Project Type
Formal Verification Tool
Total awarded
$150.0K*
Awarded Submissions
2
Submissions
Komet: Formal Verification by Runtime Verification
By Komet: Formal Verification
Build
Awarded
SCF #30
$100.0K
View
Kasmer: Formal Verification
By Komet: Formal Verification
Legacy v5.0 Activation Award
Awarded
SCF #28
$50.0K
View
Team Members
Paul Len
.paullen
