The best way to scale a program is to scale it.

O homem superior é aquele que cumpre o seu dever, sem se preocupar com o resultado.

All things are possible until they are proved impossible – and even the impossible may only be so, as of now.

Sometimes, the smallest step in the right direction ends up being the biggest step of your life.

The challenge in model checking is not just to find errors, but to understand why they occur.