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

The world is all the richer for having a devil in it, so long as we keep our foot upon his neck.

最伟大的旅程是那些带领我们向内，深入自己灵魂的旅程。