As the ultimate systems-of-systems, automated vehicles present an enormous verification task, requiring verification of complex sensing, computing, and actuating functions. This can be accomplished only by virtualizing the entire system — environment and vehicle — and through realistic scenario modeling, hardware emulation, and mechatronic verification. This paper describes how to achieve the thoroughness of verification to get new cars on the road quickly, efficiently, and safely.