情報処理推進機構（IPA）の「先進的な設計・検証技術の適用事例報告書　2017年度版」に関する情報です。