Formalverification - DEV Community

Skip to content

DEV Community

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

Nov 14

Defenders Think in Lists. Attackers Think in Graphs. Your Tools Should Too.

#cloud #security #formalverification #aws

11 min read

Nov 12

What it takes to prove binary search works

#javascript #programming #algorithms #formalverification

7 min read

Nov 3

For Macro Lovers: Could Tauto Have the World's Most Powerful Macro System?

#tauto #macros #dsl #formalverification

16 min read

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

jamilxt

Nov 11

AI Did Not Prove Signal Secure. It Proved a Carefully Chosen Slice.

#ai #security #formalverification #software

7 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

Max Quimby

Oct 11

Lean Is Becoming AI's Trust Layer

#aiagents #formalverification #lean4 #codequality

9 min read

Chris Roy

Sep 6

Why Verification Asks You to Leave the Language You Ship

#architecture #languagedesign #formalverification #rust

12 min read

jamilxt

Sep 19

Bend 2 vs SPARK: Can You Actually Trust AI-Written Code Without Proof?

#programming #ai #devtools #formalverification

8 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

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