&Truth reportedly raises $70M to automate formal software verification
Photo: Crypto Briefing
The startup is betting that automation can make mathematical bug-proofing cheap enough for everyday software teams Software developers have long dreamed of proving, with actual math, that their code has no bugs. &Truth has reportedly raised $70 million to turn that dream into something companies can buy. The startup wants to automate formal verification, according to Wired. The technique is powerful but rarely used. Formal verification works differently from ordinary testing. Testing checks how a program behaves in situations engineers think to try. Formal verification aims to show, mathematically, that the program behaves correctly in every situation.
Source: Crypto Briefing
