ADDING MULTIMEDIA &Truth Launches &Atlas, Mapping the Global Mission to Provably Verify All Software

PALO ALTO, Calif., & SINGAPORE, Nov 13 (Bernama) -- &Truth, a public benefit corporation building the universal verification machine for code, today unveiled &Atlas, an interactive map of over 100 million lines of open-source C software spanning more than 3,000 foundational codebases. &Atlas makes visible an unprecedented ambition: to mathematically verify all critical software in the AI era, beginning with C and expanding across languages and systems.

C code underpins operating systems, browsers, databases, networking, and other essential infrastructure. Much of it has been in use for decades, and vulnerabilities can have consequences far beyond a single application. As AI accelerates both software development and cyberattacks, the need to prove what code can and cannot do is increasingly urgent.