Understanding: Formalverification | Knowledge Hub

Skip to content

DEV Community

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Scidonia

Oct 29

Prediction: Theorem Provers Will Completely Dominate Programming (And Soon)

#discuss #ai #formalverification #programming

4 min read

RC

Oct 28

Claude rediscovered CVE-2026-56132 proving 123 libraries crash-free

#formalverification #llms #softwaresecurity

4 min read

wintrover

Oct 23

The Agent Wrote the Theorem: A Model-Level Disproof, a Pipeline Gap, and a Refusal to Cheat

#axiom #formalverification #agents #smt

2 min read

Max Quimby

Oct 11

Lean Is Becoming AI's Trust Layer

#aiagents #formalverification #lean4 #codequality

9 min read

Malek AIT OUARET

Oct 21

Green proofs, empty promises: when AI agents write their own specifications

#dafny #formalverification #ai #llm

7 min read

Chris Roy

Sep 6

Why Verification Asks You to Leave the Language You Ship

#architecture #languagedesign #formalverification #rust

12 min read

Sep 18

Verus proves Rust correct for all inputs. Code review still can't define "correct."

#aicodereview #rust #formalverification #llm

2 min read

LulLaS

Aug 2

A formally-verified OCaml tool to recover RPG Maker assets — one binary, zero deps

#showdev #ocaml #reverseengineering #formalverification

1 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.