我们不试图把握市场时机。我们试图买便宜的东西。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.