"I think that we communicate only too well, in our silence, in what is unsaid."
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."