学习的唯一途径就是生活。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I don't believe in luck. I believe in effort.