Skills tagged: property checking

Browse skills that share this tag.

kani-verifier - Rust Formal Verification with Kani Model Checker
rust formal verification model checker memory safety
★ 650 · Updated 2026-03-20
Bit-precise model checker for Rust that exhaustively verifies code properties including memory safety and undefined behavior.
⚙ verify Rust code ⚙ check memory safety ⚙ detect undefined behavior