我的作品是我对世界的观察。
My work is my observation of the world.
模型检查是验证硬件和软件系统正确性的强大工具。
To write is to resist, to resist the forces that seek to silence us, to resist the forces that seek to control us.