Wednesday, February 20, 2008

Model Checking Pioneers Win Turing Award

It has been announced earlier this February that three pioneers of Model Checking, Ed Clarke, E. Allen Emerson, and Joseph Sifakis, won the Turing Award.

The Turing Award is the equivalent of Nobel Prize for people working in the field of computer science.

Model checking is one of the most important techniques for sequential formal verification. The award recognized the impact of model checking in addressing verification challenges. Although combinational formal verification techniques such as equivalence checking has been widely adopted by industry as an indispensable part of the design process, sequential formal verification techniques (such as model checking) still has a long way to gain wide acceptance.