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
Kasmer: Formal Verification
Developer Tooling
Developer Tooling
Description
Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
Website
Team Size
1
Project Type
Developer Tooling
Total awarded
$83.3K*
Awarded Submissions
2
Submissions
Komet: Formal Verification by Runtime Verification
By Kasmer: Formal Verification
SCF #30
Awarded
$100.0K
View
Kasmer: Formal Verification
By Kasmer: Formal Verification
SCF #28
Awarded
$50.0K
View
Team Members
Paul Len
.paullen
.paullen