完全かつ説得力のある数学的な議論、定理の定理または一連の真実のために、各証明のステップのための完全な論理的正当性を提示する。フォーマル検証のプロセスは、正式な仕様の特定のプロパティの、コンピュータプログラムが仕様を満たすことを示すために真実を示すために正式な証明を使用しています。