File:FM-Trad-Effort.png

Comparison of formal method vs traditional development costs (credit: Stidolph 2003)