ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として、適切なものはどれか。
進行役（モデレーター）、記録役などの役割を決めた複数人で、成果物に欠陥がないかどうかを検証する。
プログラムの内部構造とは無関係に、プログラムが仕様どおりに機能するかどうかを検証する。
プログラムの内部構造に着目し、プログラムが仕様どおりに動作するかどうかを検証する。
明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して、満たすべき性質と仕様が整合しているかどうかを論理的に検証する。