Your formal verification is only as good as your formal specification
burny_tech · x · 2026-10-21
burnytech notes that formal verification can only be as good as the specification and underlying assumptions you write down. Some things formalize more easily than others, and anything specifiable in math is often the best candidate for formal verification.
Related event: Formal verification is only as good as its spec(3 posts)→
More from Research
- One L-system rule grows a tree, fern, lightning, river and lungs in a 45s code film — prasenx · 2026-10-21
- MOSS-Image's text encoder is multimodal and accepts image inputs — RandumbRedditor1000 · 2026-10-21
- Skip the open access fees: NIH-funded papers must go on PMC with no embargo — anshulkundaje · 2026-10-21
- Creed: LLM code auditing infers developer beliefs to find semantic security flaws — mboehme_ · 2026-10-21
- 5-person team uses Claude and 300+ agents to design 318,484 proteins in 64 hours — 141_1337 · 2026-10-21
- ProVADA: one AI framework deimmunizes CD19 CAR binder and rescues cytosolic protease — BrianHie · 2026-10-21