You are never too old to set another goal or to dream a new dream.
The most valuable resource in agriculture is not the crop, but the people who grow it.
The night is a great teacher, but few are willing to learn.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."