Startups bet AI can make formal software verification practical
Overview
Startups &Truth, Harmonic and Truidic are betting that generative AI can make formal software verification practical and widely used, according to Wired. &Truth has raised $70 million.
Harmonic, which has $295 million in funding, says its Aristotle agent can verify C code and Verilog hardware designs.
Skeptics question the premise. Antithesis CEO Will Wilson argues that formal verification cannot catch every bug. Adoption and pricing remain unresolved.
Written by AI from the articles below · updated Oct 29, 11:22 AM ET
Check the sources:
Article timeline
The articles in this story. Times are ET.
- Wired · AINewsStartups bet AI can make formal software verification practical
AIStartups including &Truth, Harmonic, and Truidic are betting that generative AI can make formal software verification practical and widely used. &Truth raised $70 million, and Harmonic, which has $295 million in funding, says its Aristotle agent can verify C code and Verilog hardware designs. Skeptics such as Antithesis CEO Will Wilson argue that formal verification cannot catch every bug, and adoption and pricing remain unresolved.
Heat Trend
Not enough continuous observations to show a trend yet.