The only way to get better is to keep working.
You are too generous to trifle with me. If your feelings are still what they were last April, tell me so at once. My affections and wishes are unchanged, but one word from you will silence me on this subject forever.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."