概要IPA/SECでは、ソフトウェア開発の高信頼化に向けた有効な手法と一つとして形式手法の普及活動に取り組んできました。用いて、基本設計書の品質向上のための検証方法をガイドする「形式手法活用ガイドならびに参考資料」を公開します。実験報告書と共に参照し、実践的な取組みに活用いただけることを期待します。国立情報学研究所の6社1機関から構成されていました。「形式手法活用ガイド【改訂版】」の完成を受けて2012年6月30日をもって活動を終了いたしました。次の使用条件の下でご利用ください。情報処理推進機構が保有しています。関わらず禁じられています。情報処理推進機構は、本資料の使用者が、以下の著作権表示を明記することを条件として、1及び2の行為を行うことを許諾します。情報処理推進機構1本資料の全部または一部を複製すること。2本使用条件に記載されている使用条件を配布先に遵守させることを条件に本資料の複製物を無償で再配布すること。知的財産権を侵害しないことを一切保証するものではなく、また、本資料の内容に誤りがあった場合でも一切責任を負いかねます。知的財産権に基づくいかなる権利を許諾するものではありません。情報処理推進機構は、本資料のシステム開発への利用、開発されたシステムの使用、及び当該システムの使用不能等により生じるいかなる損害についても、なんら責任を負うものではありません。輸出関連法規を確認のうえ、必要な手続きを行って下さい。【形式記述サンプル】には、オープンソースのVDMUnitが含まれております。VDMUnitの著作権と使用条件は下記となります。ソフトウェア・エンジニアリング・センターまでご連絡下さい。ダウンロード注:上記の使用条件に合意願います。※2012年4月20日DSF発行の「形式手法活用ガイド【改訂版】」に対し著作権の表示及び利用条件を変更したものになります。以下の資料をダウンロードいただけます。参考資料ダウンロード注:上記の使用条件に合意願います。詳細報告書)」にて参照をしているため、参考資料として公開します。※2011年7月21日DSF発行の「形式手法活用ガイド【リリース版】」に対し著作権の表示及び利用条件を変更したものになります。以下の資料をダウンロードいただけます。5010005007126)。