ソフトウェア検証→ソフトウェアが「正しい」かどうか確かめる →ソフトウェアが求められる機能を実行できる。 ソフトウェアが求められる品質（性能efficiency、精度precision、信頼性dependability） 検証対象の「ソフトウェア」 プログラム + 文章（仕様書。…