WASHINGTON, D.C. — A new startup, &Truth, has entered the formal verification market, promising to automate the mathematically rigorous process that certifies software correctness, a step that could accelerate enterprise adoption of high‑assurance code.

Formal verification, long the domain of academic researchers, is gaining traction in finance, aerospace and automotive sectors where software failures can cost billions. A recent survey by the Computing Research Association found that 68 % of large enterprises consider verification a strategic priority, yet 82 % cite cost and expertise gaps as barriers. “The manual proof effort is a pain in the ass for most teams,” said Jane Liu, CTO of fintech firm NovaPay, “and that’s why we’re watching &Truth closely.”

&Truth’s platform, launched in beta last month, claims to reduce verification time by up to 70 % using a combination of symbolic execution and machine‑learning‑guided theorem proving. The company announced a $45 million Series A round led by Sequoia Capital, and plans to price the service at $12 000 per verification bundle, roughly a third of traditional consulting fees. “Our goal is to make formal methods as easy to run as a unit test,” said CEO Arjun Patel, adding that early adopters have already cut testing cycles from weeks to days.

The competitive landscape now includes established players such as Certora, Runtime Verification and cloud‑based services from Microsoft and Amazon. Industry analysts estimate the global formal verification market at $2.3 billion in 2024, growing at a compound annual rate of 22 %. While Certora focuses on smart‑contract safety, &Truth differentiates itself with a “no‑code” interface aimed at legacy codebases, a claim that analysts say will appeal to banks and manufacturers still tied to COBOL and C++.

Enterprise adoption is still nascent but promising. A pilot with a Fortune 100 bank reported a 58 % reduction in defect leakage after integrating &Truth’s tooling into its continuous‑integration pipeline. So far, 12 major corporations have signed up for the early‑access program, and the startup expects to double that figure by the end of 2025 as regulatory pressure mounts on software reliability.

Key Takeaways

• &Truth aims to cut formal verification effort by up to 70 % using AI‑assisted proof generation.
• The formal verification market is projected to reach $2.3 billion this year, driven by enterprise demand for safety‑critical software.
• Early adopters, including a Fortune 100 bank, report significant reductions in testing time and defect rates.

While &Truth’s technology is still being validated at scale, its entry signals a broader shift toward automating the most rigorous parts of software assurance, a development that could reshape how large organizations manage risk in code.