形式手法実践ポータル | Formal Methods User Group

「形式手法（フォーマルメソッド）」は，数理論理学等に基づき品質の高いソフトウェアを効率よく開発するための科学的・系統的アプローチの総称です．形式手法においては，システムの注目する側面を正確に，曖昧さのないモデルで表現します．これによりシステムへに関する理解を明確にするとともに，システムの満たす性質について科学的・系統的な分析や検証を行います．その結果，曖昧な理解や誤りを早期に発見し手戻りを防いだり，分析・検証により品質を高めたりすることができます． 形式手法におけるツールの充実や，ソフトウェアの品質に対する要求の高まりを受けて，形式手法は改めて注目されてきています．ただし，形式手法・ツールにはその目的に応じて多種多様な種類があり，また個々の手法・ツールを効果的に用いるためには注意深く適用方法を検討する必要があります． このサイトでは，形式手法の利用を促進することを目指し，目的の異なる様々な

[toshifusa1423]

後で読む

[bosatsumiroku]

形式手法 モデル検査 定理証明