Perry E. Metzger
Most of the software world (and especially the security world) has not yet absorbed the idea that formal verification is practical. I strongly believe part of this is because the tooling is still so bad. That may change dramatically over the next year or two.