"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
I stand up for what I believe in and I don’t worry about what other people think.
Meaning comes from belonging to and serving something beyond yourself.
I do not much like to take the tone of a moralist.