Seven Myths of Formal Methods

Anthony Hall, IEEE Software, vol. 7, no. 5, pp. 11-19, 1990
7つの神話（根拠なく主張されていること）に関する議論を行っています．「＊＊だから完璧」とか「＊＊だから論外」とか表面的なところで思考を止めず，「自分の問題（プロジェクト）に対してどう使うのか，それにより何ができて何ができないのか」に関する検討が必要，という当然の結論について，適用経験に基づいて議論しています．要点は下記ページにて．

• 形式手法7つの「神話」（前）
• 形式手法7つの「神話」（後）