It takes considerable knowledge just to realize the extent of your own ignorance.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The best way to predict the future is to create it.
No president who performs his duties faithfully and conscientiously can have any leisure.