译文:要成就大事,不应该去和众人谋划。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.