"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

I’m interested in the stories that fall through the cracks.

最成功的企业是那些有所作为的企业。