冒比他人认为安全的更大的风险。梦想比他人认为实际的更多。
Risk more than others think is safe. Dream more than others think is practical.
物理学的美不在于拥有所有答案，而在于提出更好的问题。
人类是一个太阳；感官是他的行星。
模型检查是验证有限状态并发系统正确性的强大技术。