Category: Kasmer
Introducing Komet: Smart Contract Testing & Verification Tool for Soroban, Created by Runtime Verification
By Runtime VerificationSeptember 19th, 2024
we’re excited to introduce our latest tool: Komet, a formal verification and fuzzing tool designed specifically for Soroban smart contracts on the Stellar blockchain.
How to get started with Komet - Property Testing and Formal Verification for Soroban
By Runtime VerificationSeptember 19th, 2024
Komet is supported by the Stellar Foundation and aims to offer enhanced verification capabilities using formal methods to help developers secure their smart contracts.
