"I’m a very positive thinker, and I think that is what helps me the most in difficult moments."
The challenge in model checking is not just to find errors, but to understand why they occur.
The whole world is a story, and I’m trying to tell it.