记住,声誉和正直是你最宝贵的资产——而且可能一瞬间就丧失。
Remember that reputation and integrity are your most valuable assets – and can be lost in a heartbeat.
On bended knee I'm begging you please
我不在乎你是否被冒犯。我不会停下来。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."