用右手画圆形,左手画方形,不能同时画成
Model checking is a powerful tool for verifying the correctness of hardware and software systems.