check problem

• 检验问题,检验程序

check problem的用法和样例：

例句

1. Because most property to be verified are simple and can be verified without constructing the whole state space, we focus on the problem of reachability.
   考虑到系统中多数待检验问题仅仅是一些简单的性质。