formal methods
AssessTechniques
Mathematical techniques for specifying and proving software properties.
Why it's here
Placed in Assess: 4 article(s) of evidence from 3 source(s), led by research-stage coverage, with 2 in the last 30 days. Confidence 54%.
Evidence (4)
- 4Hacker News·7/30/2026researchWhy formal methods remain underused in software
This article gives a historical and conceptual overview of formal methods, explaining why they have seen limited adoption despite their promise for correctness. It distinguishes between specification and verification, and between code and design, while arguing that the main barriers are practical complexity, cost, and fragmented terminology rather than a simple lack of usefulness.
- 5Martin Fowler·7/13/2026researchFowler on AI Harnesses and Self-Hosted Models
Martin Fowler reports that teams are focusing more on AI harness engineering, especially context management and stronger validation techniques such as property-based testing and formal methods. He also notes growing interest in self-hosted open-weight models, driven by cost, data security, model sovereignty, and the possibility of fine-tuning domain-specific models to reduce token usage.
- 4InfoQ·7/10/2026researchPodcast on Formal Methods in an AI-Powered Future
In this InfoQ podcast, Shane Hastie speaks with Gabriela Moreira about making formal methods more accessible through the Quint specification language. The discussion also covers how AI is lowering the barrier to formal specification and model-based testing, while emphasizing that defining correct system behavior remains a human responsibility.
- 4Hacker News·6/29/2026researchQuestioning what software can truly guarantee
This ACM Queue article argues that software should be evaluated by the guarantees it can actually provide, rather than by broad assumptions or marketing claims. It discusses how correctness, reliability, and safety depend on explicit specifications, testing, and system boundaries.