ウィキペディア

形式的検証

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2009/11/13 10:49 UTC 版)

形式的検証（けいしきてきけんしょう）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。