AI Brings Formal Verification to Real-World Software Code

Stanford researcher Chuyue Sun reported an AI tool that finished an engineering project in under half a day for under $500, versus five months for three experts, as verification startups drew funding.