形式検証（formal verification）という言葉をちょこちょこ見かけるようになって、これで仕様や設計が壊れていないかを確認できるらしいのだが、AIに聞きまくってもむず過ぎてふわっとしかわかんねえよ