Model checking is a powerful tool for verifying the correctness of hardware and software systems.

Progress requires both courage and humility.

The truth is more magical - in the best and most exciting sense of the word - than any myth or made-up mystery or miracle.

现实与幻想的边界比我们想象的更薄，有时甚至完全消失。