A new related startup term called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.
A new related startup term called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.
Source: https://www.wired.com/story/software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis/
