Guest post by Marta Kwiatkowska, Chair of the CAV Award Committee
The 2014 CAV Award was presented yesterday to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper “for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.”
They developed efficient algorithms to explore the state space on-the-fly that have become the key component of explicit model checkers. Partial-order reduction is one of the major contributions to the field of automated verification in the last two decades. Its development contributed in a crucial way to make model checking successful and practically applicable to concurrent systems.