I’m a fighter. I believe in the good and I believe that good will always triumph over evil.
我是一个战士。我相信善良,我相信善良终将战胜邪恶。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
I’m not gonna dim my light for anyone.