"Life is not what one lived, but what one remembers and how one remembers it to tell it."
She was my most special friend. My only friend.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.