LLMs are making formal software verification feasible at a much larger scale \ Anthropic https://www.anthropic.com/research/formal-verification

そこまでする(出来る)なら、SPARKに書き換えちゃえばいいじゃん・・・＞＜