There are more and more signs that formal verification might finally be earning its place in mainstream software development.