科学家与农民之间的合作是解决未来粮食挑战的关键。
Collaboration between scientists and farmers is key to solving tomorrow’s food challenges.
The challenge in model checking is not just to find errors, but to understand why they occur.