There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.
In software companies a natural conflict exists between security teams and product delivery teams—one's nature is to slow down progress, the other wants to speed it up. The secret is to view security as an enabler, not a hindrance.