Kasmer is a tool based on a rigorous formal semantics that provides property testing and verification for the 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 for

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