Get the latest tech news

The Case Against Formal Verification, 50 Years Later

Writings on software correctness, AI, formal verification, and other technical topics.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Case

Case

Photo of years

years

Photo of formal verification

formal verification

Related news:

GIMP Making Progress On New Project File Format After Nearly 30 Years With XCF

The weekend is 100 years old

Microsoft is removing a legacy Windows feature, WMIC, that has been around for 25 years

« Flock's 'Creepy Cameras' Remain Major Threat to Privacy Despite Small Recent Changes, Warns ACLU

Cutting RAG inference costs 6x starts with deciding what never reaches the LLM »