The best way to learn a new programming language is by writing programs in it.
学习新编程语言的最好方法是用它编写程序。
The challenge in model checking is not just to find errors, but to understand why they occur.