"The most personal stories are often the most universal."
The fight against hunger is a fight for justice.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.