The 2008 Turing Award Winners
Edmund M. Clarke, Allen Emerson, and Joseph Sifakis awarded for their work on model checking an automated method for finding design errors in computer hardware and software honored with Turing Award as announced by Association for Computing Machinery.
“The method, called Model Checking, is the most widely used technique for detecting and diagnosing errors in complex hardware and software design. It has helped to improve the reliability of complex computer chips, systems and networks”. News from ddj.com
