"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
人们之所以会错过最伟大的突破,就是因为它们看上去就很难。