[B! AI] AIが実装し、AIがテストし、AIが「問題ありません」と言う時代の品質保証 - Qiita https://b.hatena.ne.jp/entry/s/qiita.com/y0us91/items/2feffd2cc6c672717973

だからこそ、SPARKみたいな形式検証環境を標準的に使えばいいと思うんだけど＞＜
契約プログラミング方式の形式検証であれば、言ってみれば テストに漏れがあったらコンパイルが通らない環境みたいなものなんだし＞＜