{"id":"tp-43847","type":"article-newspaper","title":"&Truth Raises $70 Million to Automate Formal Software Verification","author":"John Kim","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/business/43847","datePublished":"2026-10-29T20:17:35.000Z","dateModified":"2026-10-29T20:17:35.000Z","language":"en","abstract":"The Palo Alto- and Singapore-based company is developing tools to check code across programming languages and generate proofs others can inspect.","section":"Business","references":[{"title":"Oct. 23 report","url":"https://www.tokenpost.com/news/technology/39113"}]}