Every life is its own excuse for being.

I don't think you can make a good movie without a good script.

Pedestrians never seem to realize that they are a threat to the safety of cars.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

I'm not a god, I'm a human being with flaws.