We use program analysis technology to build tools for validating industrial-sized software. Validation tools require complete analysis of all execution paths. Program analysis methods require a trade-off between precision and scalability. We strive to overcome this tradeoff.