"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
我不把任何事视为理所当然,我通过努力获得一切成就。