費用や納期だけで評価したら大差ないってことでしょ

現状ソフトウェアの品質を正当に評価していない（できない）から
形式手法を導入するインセンティブが働かない

てかageる必要あんのか？