人が作ったシステムを、システマチックに検証し、間違いのない製品に仕上げるために必要なものは何か。認証取得のための支援ツールとして期待。