Good science requires both creativity and discipline.
好的科学既需要创造力,也需要纪律性。
"In filmmaking, the truth is often more compelling than fiction."
Every work of art is an uncommitted crime.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.