Why We Do Formal Verification_qtp Posted on March 31, 2018 by Michael https://westergaard.eu/wp-content/uploads/2018/03/Why-We-Do-Formal-Verification_qtp.mp4