K powered property verification for WASM

background

Kasmer is a tool based on a rigorous formal semantics that provides property testing and verification for the multiverseX logo blockchain.

Users write Rust tests to check if a property is true (e.g. whether the liquidity product is constant for an AMM when doing swaps) using random inputs, and mathematically verify if the property indeed holds.

Currently, we are building a solution formultiverseX logo

If you are interest in custom tooling email us atcontact@runtimeverification.com