&Truth reportedly raises $70M to automate formal software verification

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. The work has historically been slow and painful. Engineers must first write precise statements describing what their software is supposed to do.

BeCrypto News shows a short excerpt and links to the publisher. The full report belongs to Crypto Briefing.