Deductive verification infrastructure for probabilistic programs
-
Updated
Jul 23, 2026 - Rust
#
deductive-verification
Here are 7 public repositories matching this topic...
A Collaborative Web IDE for Reasoning about Programs
-
Updated
Feb 26, 2025 - TypeScript
A Transformation Tool for LLVM IR programs to aid Deductive Verification
-
Updated
Aug 10, 2023 - C++
Agent Skills for deductive verification of C with Frama-C/WP: writing ACSL specifications, running and triaging proofs, designing provable C, and hand-written Coq when nothing else closes the goal.
c static-analysis coq program-verification formal-verification codex acsl frama-c why3 deductive-verification llm smt-solvers agent-skills claude-code
-
Updated
Sep 14, 2026 - Shell
A deductive program verification tool for MicroViper programming language
z3 formal-methods smt program-verification formal-verification deductive-reasoning deductive-verification
-
Updated
Jan 23, 2025 - Rust
Library for high level formal specification of smart contract behavior
-
Updated
Jul 14, 2024
Benchmarks for the paper Verifying Floating-Point Programs in Stainless.
github data-mining scala benchmarks transcendental-functions floating-point-arithmetic stainless deductive-verification
-
Updated
Sep 15, 2026 - Scala
Add this topic to your repo
To associate your repository with the deductive-verification topic, visit your repo's landing page and select "manage topics."