Large-scale application of formal verification: From fiction to fact.