The key to progress is persistence and a willingness to challenge conventional wisdom.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."