1 repository
Awesome GitHub RepositoriesFunction Contract Specifications
Formal definitions of preconditions and postconditions to verify that function behavior matches expectations.
Distinguishing note: Candidates describe UDFs (User-Defined Functions) for databases, not formal logic contracts for verification.
Explore 1 awesome GitHub repository matching software engineering & architecture · Function Contract Specifications. Refine with filters or upvote what's useful.
Awesome Function Contract Specifications GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- model-checking/kani
model-checking/kani
2,943Vezi pe GitHubKani 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
Enables the definition of function contracts through preconditions and postconditions for verified abstractions.
Rustmodel-checkingrustverification
