在编程中,我们所做的一切都是更通用的特例-而且我们常常知道得太快。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
我的雄心不仅是走得比前人更远,还要到达人类可能到达的最远处。
The best architecture is invisible; it is the life within that matters.
一个常见的经验是,一个晚上难以解决的问题在睡眠委员会工作后,在早上得到了解决。