Deductive verification infrastructure for probabilistic programs
-
Updated
Oct 19, 2026 - Rust
#
deductive-verification
Here are 8 public repositories matching this topic...
A Collaborative Web IDE for Reasoning about Programs
-
Updated
Feb 26, 2025 - TypeScript
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
Oct 4, 2026 - Shell
Atoma — program verification for Zig. Contracts, a subset checker, an Agda-checked soundness theorem for a store-free core, and canonical certificates; COMPLETE status only after Dedukti + Coq/Lean4 kernel checks.
open-source dependent-types reproducible-research zig theorem-proving agda program-verification formal-verification proof-engineering deductive-verification idris2 proof-assistants smt-solving hyperpolymath epistemic-infrastructure epistemic-computing proof-certificates veridical-computing equivalence-aware-computing typed-provenance
-
Updated
Oct 22, 2026 - Shell
A Transformation Tool for LLVM IR programs to aid Deductive Verification
-
Updated
Aug 10, 2023 - C++
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."