Model checking is a powerful tool for verifying the correctness of hardware and software systems.
生活中最重要的是要有目标感,并充满激情地追求它。
Life is a leaf of paper white,thereon each of us may write his word or two.