Formal Verification and Property Testing for Wasm
Kasmer is a tool based on a rigorous formal semantics that provides property testing and verification for the WebAssembly.
FEATURES
Key Features
Fuzzing of Rust Property Tests
Fuzzing of Rust Property Tests compiled to WebAssembly
Verification of Rust Property Tests
Verification of Rust Property Tests Compiled to WebAssembly.
BENEFITS
Why Kasmer?
High Level of Assurance
High Level of Assurance Because we're Checking at the WebAssembly Level Because that is what will Actually be Committed to the Blockchain.
WebAssembly Unified Syntax
direct integration with the new WebAssembly unified syntax.
Language you already know
no need to learn a new test framework/language.
Save progress
inspectable symbolic execution, not a black box, progress can be saved and viewed to help the user make more progress.
BACKED BY
Meet our friends and collaborators
We work with strong teams and advanced companies providing the best possible service to all.
CONTACT
Get in touch
If you want to learn more about how Kasmer can help secure your Project, please complete the form below and we will contact you: