形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
"The essential support and encouragement comes from within, arising out of the mad notion that your society needs to know what only you can tell it."
Investing in research today ensures a harvest tomorrow.