1 个仓库
Awesome GitHub RepositoriesVerification Harnesses
Specialized wrapper functions that define symbolic input spaces and assertions for formal verification.
Distinct from Interface Verification Harnesses: Interface Verification Harnesses are for telemetry and interfaces; Verification Harnesses here define the symbolic state for proofs.
Explore 1 awesome GitHub repository matching testing & quality assurance · Verification Harnesses. Refine with filters or upvote what's useful.
Awesome Verification Harnesses GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- model-checking/kani
model-checking/kani
2,943在 GitHub 上查看Kani is a formal verification tool and model checker for Rust. It functions as a bit-precise static analyzer that mathematically proves the correctness and memory safety of code by exhaustively analyzing program states to identify undefined behavior, panics, and logic errors. The tool identifies bugs by producing concrete counterexamples when program assertions or safety contracts are violated. It enables the definition of function contracts through preconditions and postconditions to verify that inputs and outputs match expected behavior. The system provides capabilities for Rust program an
Provides verification harnesses to define symbolic input spaces and assertions for mathematical proving.
Rustmodel-checkingrustverification
