veri
Search
Home
Discover
Organizations
Projects
Funds
veri
Back to Projects
Get Listed
Subscribe on TG
Kasmer: Formal Verification
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
kasmer.runtimeverification.com
Github
Twitter
Telegram
Docs
Discord
Overview
Organization
Grant
Description
Kasmer is a tool based on formal semantics that offers property testing and verification for WebAssembly, focusing on Rust property tests and their compilation to WebAssembly, ensuring a high level of assurance by checking at the WebAssembly level.
