Technology is anything that wasn't around when you were born.
The deepest urge in human nature is the desire to be important.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."