Seven Myths of Formal Methods. Fonnal methodsって

これでいいんかな...
http://www.seas.upenn.edu/~lee/09cis480/papers/7myths1990.pdf