"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The best time to plant a tree was 20 years ago. The second best time is now.
技术只是工具,人才是真正的资产。