# Kasmer

## Kasmer

- [Kasmer](https://docs.runtimeverification.com/kasmer/overview/kasmer.md): K powered property verification for WASM