—— 请按键盘 空白键 开始游戏 ——

Model checking is a powerful tool for verifying the correctness of hardware and software systems.
I don't mind being a symbol but I don't want to become a monument. There's nothing sadder than a monument.
"A film should challenge the viewer, not just entertain them."
Safety must always come first, no matter the cost.
世界需要能源,而我们的责任是负责任地提供它。
I'm not a prisoner, I'm a free spirit.